Similar Items: On Bisimilarity for Quasi-discrete Closure Spaces
- Model Checking Spatial Logics for Closure Spaces
- Computational Models of Certain Hyperspaces of Quasi-metric Spaces
- Bisimilarity in fresh-register automata
- On-the-Fly Computation of Bisimilarity Distances
- Conditional Bisimilarity for Reactive Systems
- A generalization of a theorem of Hurewicz for quasi-Polish spaces