Similar Items: Coalgebraic Infinite Traces and Kleisli Simulations
- Coalgebraic trace semantics via forgetful logics
- Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems
- From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality
- Asynchronous Composition of LTL Properties over Infinite and Finite Traces
- Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective
- Bases as Coalgebras