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]

Abstract State Machines