[an error occurred while processing this directive] [an error occurred while processing this directive]

Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Occam (Early Version)


Citation: Egon Börger, Igor Durdanovic, and Dean Rosenzweig, "Occam: Specification and compiler correctness. Part I: Simple mathematical interpreters." In E.R. Olderog, ed., Proc. PROCOMET'94 (IFIP Working Conference on Programming Concepts, Methods and Calculi), North-Holland, 1994, p. 489--508.
Summary: An early formal semantics for Occam, as a basis for a provably correct transition to the Transputer Instruction Set architecture.
Subjects: Distributed Systems, Programming Languages
Download: PostScript, PDF, Compressed PostScript
Notes: See the most recent paper on ASMs and Occam.
[an error occurred while processing this directive]