Similar Items: Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems
- Coalgebraic Semantics for Probabilistic Logic Programming
- Coalgebraic trace semantics via forgetful logics
- Coalgebraic Infinite Traces and Kleisli Simulations
- Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically
- A coalgebraic treatment of conditional transition systems with upgrades
- Symbolic and Asynchronous Semantics via Normalized Coalgebras