Occam

Citation:	Yuri Gurevich and Lawrence S. Moss, "Algebraic Operational Semantics and Occam", CSL'89, 3rd Workshop on Computer Science Logic, Springer Lecture Notes in Computer Science 440, 1990, 176--192.
Summary:	An early generalization of the sequential ASM model to treat distributed, concurrent applications. A substantial fragment of the Occam programming language is used as an example.
Subjects:	Distributed Systems, Programming Languages
Download:	PostScript, PDF, Compressed PostScript
Notes:	See also another treatment of Occam

[an error occurred while processing this directive]

Abstract State Machines