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)
Related Items (5)
Adding recursive constructs to bialgebraic semantics ⋮ Behavioural equivalences for coalgebras with unobservable moves ⋮ Subsequential transducers: a coalgebraic perspective ⋮ A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras ⋮ An Exercise on Transition Systems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
This page was built for publication: Towards Weak Bisimulation For Coalgebras