Algebraic operational semantics and Occam

DOI10.1007/3-540-52753-2_39MaRDI QIDQ4268485zbMATH OpenFDO

Authors Lawrence S. Moss, Yuri Gurevich

Publication date 28 October 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-52753-2_39

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cited in

(4)

• Dynamic interpretations of constraint-based grammar formalisms
• CSP with Hierarchical State
• A semantics for behavior trees using CSP with specification commands
• Revisiting sequential composition in process calculi

This page was built for publication: Algebraic operational semantics and Occam

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4268485)