G-Reactive Systems as Coalgebras

DOI10.1016/j.entcs.2008.10.040zbMath1277.68163OpenAlexW2163424899MaRDI QIDQ2864375

Ugo Montanari, Filippo Bonchi

Publication date: 6 December 2013

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.2008.10.040

zbMATH Keywords

labelled transition systemreactive systemsprocess calculusuniversal coalgebra

Mathematics Subject Classification ID

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

Related Items

A coalgebraic approach to non-determinism: applications to multilattices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The chemical abstract machine
• Universal coalgebra: A theory of systems
• Locating reaction with 2-categories
• A theory of bisimulation for the \(\pi\)-calculus
• Bisimulation by Unification*
• Composition and Decomposition of DPO Transformations with Borrowed Context
• Foundations of Software Science and Computation Structures
• On bisimulations for the asynchronous π-calculus