Similar Items: Relating coalgebraic notions of bisimulation
- Coalgebras for Bisimulation of Weighted Automata over Semirings
- Weak bisimulation for coalgebras over order enriched monads
- Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically
- Relating Apartness and Bisimulation
- Relating two standard notions of secrecy
- Algebraic Notions of Termination