G-reactive systems as coalgebras
From MaRDI portal
Publication:2864375
DOI10.1016/J.ENTCS.2008.10.040zbMATH Open1277.68163OpenAlexW2163424899MaRDI QIDQ2864375FDOQ2864375
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
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
- Title not available (Why is that?)
- Universal coalgebra: A theory of systems
- The chemical abstract machine
- Foundations of Software Science and Computation Structures
- Title not available (Why is that?)
- A theory of bisimulation for the \(\pi\)-calculus
- Title not available (Why is that?)
- Title not available (Why is that?)
- Locating reaction with 2-categories
- Bisimulation by unification
- On bisimulations for the asynchronous π-calculus
- Composition and Decomposition of DPO Transformations with Borrowed Context
- Title not available (Why is that?)
Cited In (5)
- Coalgebraic Models for Reactive Systems
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
- A coalgebraic theory of reactive systems
- Relating coalgebraic notions of bisimulation. With applications to name-passing process calculi (extended abstract)
- A coalgebraic approach to non-determinism: applications to multilattices
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)
