Volume 7; Issue 5

Formal Aspects of Computing

Volume 7; Issue 5
1

Interpreting Message Flow Graphs

Peter B. Ladkin, Stefan Leue
Journal:
Formal Aspects of Computing
Year:
1995
Language:
english
File:
PDF, 2.27 MB
english, 1995
2

Verification of schedulability for real-time programs

Zhiming Liu, Mathai Joseph, Tomasz Janowski
Journal:
Formal Aspects of Computing
Year:
1995
Language:
english
File:
PDF, 1.25 MB
english, 1995
3

MetateM: An introduction

H. Barringer, M. Fisher, D. Gabbay, G. Gough, R. Owens
Journal:
Formal Aspects of Computing
Year:
1995
Language:
english
File:
PDF, 1.05 MB
english, 1995
4

Towards a practitioners' approach to Abadi and Lamport's method

Kai Engelhardt, Willem -Paul de Roever
Journal:
Formal Aspects of Computing
Year:
1995
Language:
english
File:
PDF, 1.43 MB
english, 1995
5

A method for showing progress

K. Rustan M. Leino
Journal:
Formal Aspects of Computing
Year:
1995
Language:
english
File:
PDF, 229 KB
english, 1995
6

Book reviews

W. P. R. Mitchell, Alan Hamilton, A. J. McIsaac, Iain Stewart
Journal:
Formal Aspects of Computing
Year:
1995
Language:
english
File:
PDF, 475 KB
english, 1995