From transitions to executions

DOI10.1007/978-3-642-32784-1_10MaRDI QIDQ2914682zbMATH OpenOpenAlexFDO

Authors Eleftherios Matsikoudis, Edward A. Lee

Publication date 20 September 2012

Published in Coalgebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-32784-1_10

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• An exercise on transition systems
• scientific article; zbMATH DE number 1096856
• Logic of transition systems
• On path-based coalgebras and weak notions of bisimulation
• scientific article; zbMATH DE number 1231625

Cited in

(3)

• The fixed-point theory of strictly causal functions
• Finite and infinite implementation of transition systems
• The transition from VDL to VDM

This page was built for publication: From transitions to executions

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