G-Reactive Systems as Coalgebras
From MaRDI portal
Publication:2864375
DOI10.1016/j.entcs.2008.10.040zbMath1277.68163MaRDI QIDQ2864375
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
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item