Towards Weak Bisimulation For Coalgebras
From MaRDI portal
Publication:2841308
DOI10.1016/S1571-0661(04)80499-7zbMath1268.68130MaRDI QIDQ2841308
Publication date: 24 July 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Subsequential transducers: a coalgebraic perspective, Behavioural equivalences for coalgebras with unobservable moves, Adding recursive constructs to bialgebraic semantics, A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras, An Exercise on Transition Systems
Uses Software
Cites Work
- Universal coalgebra: A theory of systems
- Institutionalising Many-Sorted Coalgebraic Modal Logic
- A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras
- An approach to object semantics based on terminal co-algebras
- A note on Coinduction and Weak Bisimilarity for While Programs
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item