Similar Items: Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking
- A Spatial Logic for Simplicial Models
- Equivalence checking for weak bi-Kleene algebra
- Impure Simplicial Complexes: Complete Axiomatization
- Minimisation of Multiplicity Tree Automata
- On the Complexity of Equivalence and Minimisation for Q-weighted Automata
- Neighbourhood Structures: Bisimilarity and Basic Model Theory