Modular Bisimulation Theory for Computations and Values

DOI10.1007/978-3-642-37075-5_7zbMath1260.68261OpenAlexW152792930WikidataQ57783394 ScholiaQ57783394MaRDI QIDQ4910414

Martin Churchill, Peter D. Mosses

Publication date: 18 March 2013

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

Full work available at URL: https://doi.org/10.1007/978-3-642-37075-5_7

zbMATH Keywords

structural operational semanticsprogramming languagescongruence formatsmodular SOShigher-order bisimulation

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

Generating Specialized Interpreters for Modular Structural Operational Semantics ⋮ Weak Bisimulation as a Congruence in MSOS ⋮ Executable component-based semantics ⋮ Flag-based big-step semantics ⋮ Dynamic structural operational semantics

This page was built for publication: Modular Bisimulation Theory for Computations and Values