| |
| | Abstract State Machines: Occam (Site not responding. Last check: 2007-11-07) |
 | | 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. |
 | | 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. |
| www.eecs.umich.edu /gasm/papers/occam0.html (53 words) |
|