Algebraic Operational Semantics and Occam

We generalize algebraic operational semantics from sequential languages to distributed, concurrent languages using Occam as an example. Elsewhere, we will discuss applications to the study of veri cation and transformation of programs.

• Type: Conference
• Year: 1989
• Where: CSL
• Authors: Yuri Gurevich, Lawrence S. Moss
• Keywords: Algebraic Operational Semantics, Automated Reasoning, Concurrent Languages, CSL 1989, Sequential Languages