Coalgebraic Models for Reactive Systems

DOI10.1007/978-3-540-74407-8_25zbMath1151.68507OpenAlexW1534947867MaRDI QIDQ3525649

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)

Related Items (7)

Coalgebraic Symbolic Semantics ⋮ Reactive systems, (semi-)saturated semantics and coalgebras on presheaves ⋮ A presheaf environment for the explicit fusion calculus ⋮ A coalgebraic approach to non-determinism: applications to multilattices ⋮ 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

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