Algebraic operational semantics and Occam

• Authors:

• Yuri Gurevich;Lawrence S. Moss

• Affiliations:

• -;-

• Venue:
• CSL '89 Proceedings of the third workshop on Computer science logic
• Year:
• 1990