G-reactive systems as coalgebras

DOI10.1016/J.ENTCS.2008.10.040MaRDI QIDQ2864375zbMATHOpenAlexFDO

Authors Filippo Bonchi, Ugo Montanari

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

reactive systemsprocess calculuslabelled transition systemuniversal coalgebra

Mathematics Subject Classification ID

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

Recommendations

• A coalgebraic theory of reactive systems
• Coalgebraic Models for Reactive Systems
• Relating coalgebraic notions of bisimulation. With applications to name-passing process calculi (extended abstract)
• scientific article; zbMATH DE number 1759615
• Reactive systems, (semi-)saturated semantics and coalgebras on presheaves

Cites work

• scientific article; zbMATH DE number 3131597 (Why is no real title available?)
• scientific article; zbMATH DE number 1231625 (Why is no real title available?)
• scientific article; zbMATH DE number 1314229 (Why is no real title available?)
• scientific article; zbMATH DE number 1759615 (Why is no real title available?)
• scientific article; zbMATH DE number 1390052 (Why is no real title available?)
• 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
• Locating reaction with 2-categories
• On bisimulations for the asynchronous π-calculus
• The chemical abstract machine
• Universal coalgebra: A theory of systems

Cited in

(5)

• Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
• Coalgebraic Models for Reactive Systems
• A coalgebraic approach to non-determinism: applications to multilattices
• A coalgebraic theory of reactive systems
• Relating coalgebraic notions of bisimulation. With applications to name-passing process calculi (extended abstract)

This page was built for publication: G-reactive systems as coalgebras

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