Abstract State Machines




ASM Studies


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