Coalgebraic Models for Reactive Systems

DOI10.1007/978-3-540-74407-8_25MaRDI QIDQ3525649zbMATH OpenOpenAlexFDO

Authors Filippo Bonchi, Ugo Montanari

Publication date 18 September 2008

Published in CONCUR 2007 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74407-8_25

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A coalgebraic theory of reactive systems
• G-reactive systems as coalgebras
• Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
• Symbolic and Asynchronous Semantics via Normalized Coalgebras
• Universal coalgebra: A theory of systems

Cited in

(12)

• Compositional SOS and beyond: A coalgebraic view of open systems
• A presheaf environment for the explicit fusion calculus
• Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras
• G-reactive systems as coalgebras
• A coalgebraic theory of reactive systems
• Coalgebraic symbolic semantics
• scientific article; zbMATH DE number 2186713 (Why is no real title available?)
• Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
• Labelled transitions for mobile ambients (as synthesized via a graphical encoding)
• RPO semantics for mobile ambients
• A coalgebraic approach to non-determinism: applications to multilattices
• Reactive systems, (semi-)saturated semantics and coalgebras on presheaves

This page was built for publication: Coalgebraic Models for Reactive Systems

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