A Coalgebraic Theory of Reactive Systems

DOI10.1016/j.entcs.2009.02.012zbMath1279.68249OpenAlexW2131255145MaRDI QIDQ2870200

Filippo Bonchi, Ugo Montanari

Publication date: 17 January 2014

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.02.012

zbMATH Keywords

coalgebrasreactive systemslabeled transition systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Bigraphs with sharing ⋮ A Coalgebraic Theory of Reactive Systems

Cites Work

• The chemical abstract machine
• Universal coalgebra: A theory of systems
• A theory of bisimulation for the \(\pi\)-calculus
• A Coalgebraic Theory of Reactive Systems
• Bisimulation by Unification*
• Foundations of Software Science and Computation Structures
• Algebra and Coalgebra in Computer Science
• On bisimulations for the asynchronous π-calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item