Similar Items: Neighbourhood Structures: Bisimilarity and Basic Model Theory
- Bisimilarity on Basic Process Algebra is in 2-ExpTime (an explicit proof)
- Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking
- On-the-Fly Computation of Bisimilarity Distances
- Conditional Bisimilarity for Reactive Systems
- Bisimilarity in fresh-register automata
- Coalgebraic Automata Theory: Basic Results