Algebraic Operational Semantics and Occam
- Yuri Gurevich ,
- Lawrence A. Moss
CSL'89, 3rd Workshop on Computer Science Logic Springer Lecture Notes in Computer Science 440 |
We give evolving algebra semantics to the Occam programming language generalizing in the process evolving algebras to the case of distributed concurrent computations. Later note: the first example of a distributed abstract state machine.