Similar Items: Relational Dualities and Bisimulation
- Finitary Truly Concurrent Bisimulations
- On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics
- Collusion Relations and their Applications to Balance Theory
- Multiset semantics in SPARQL, Relational Algebra and Datalog
- On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic
- Verification of Neural Networks (Lecture Notes)