Modular bisimulation theory for computations and values

DOI10.1007/978-3-642-37075-5_7MaRDI QIDQ4910414zbMATH OpenOpenAlexWikidataFDO

Authors 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

congruence formatshigher-order bisimulationmodular SOSprogramming languagesstructural operational semantics

Mathematics Subject Classification ID

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

Recommendations

• Structured operational semantics and bisimulation as a congruence
• Bisimulation can't be traced
• Structural operational semantics for weak bisimulations
• Notions of bisimulation and congruence formats for SOS with data
• Modular structural operational semantics

Cited in

(11)

• Executable component-based semantics
• Dynamic structural operational semantics
• Notions of bisimulation and congruence formats for SOS with data
• Implicit propagation in structural operational semantics
• Weak bisimulation as a congruence in MSOS
• An Axiomatic Value Model for Isabelle/UTP
• Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo
• Generating specialized interpreters for modular structural operational semantics
• scientific article; zbMATH DE number 1500662 (Why is no real title available?)
• scientific article; zbMATH DE number 1418328 (Why is no real title available?)
• Flag-based big-step semantics

This page was built for publication: Modular bisimulation theory for computations and values

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