Similar Items: Symbolic and Asynchronous Semantics via Normalized Coalgebras
- Coalgebraic trace semantics via forgetful logics
- Coalgebraic Semantics for Probabilistic Logic Programming
- Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems
- A Faithful Semantics for Generalised Symbolic Trajectory Evaluation
- On completeness of reducibility candidates as a semantics of strong normalization
- Predicate Abstraction via Symbolic Decision Procedures