Similar Items: Coalgebraic trace semantics via forgetful logics
- Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems
- Coalgebraic Semantics for Probabilistic Logic Programming
- Symbolic and Asynchronous Semantics via Normalized Coalgebras
- Generic Trace Semantics via Coinduction
- Coalgebraic Infinite Traces and Kleisli Simulations
- Strongly Complete Logics for Coalgebras