Similar Items: Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically
- Relating coalgebraic notions of bisimulation
- Coalgebras for Bisimulation of Weighted Automata over Semirings
- Weak bisimulation for coalgebras over order enriched monads
- Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems
- A coalgebraic treatment of conditional transition systems with upgrades
- Labelled transition systems as a Stone space