Analysing Spatial Properties on Neighbourhood Spaces
From MaRDI portal
Publication:5089239
Cites work
- scientific article; zbMATH DE number 3600759 (Why is no real title available?)
- A calculus of mobile processes. I
- A generalized topological view of motion in discrete space.
- A modal walk through space
- Bisimulations for temporal logic
- Handbook of Spatial Logics
- Model checking spatial logics for closure spaces
- Neighborhood semantics for modal logic
- On Quasi-Metric Spaces
- Target Enumeration via Euler Characteristic Integrals
- Target counting with Presburger constraints and its application in sensor networks
- “Sometimes” and “not never” revisited
Cited in
(6)- Back-and-forth in space: on logics and bisimilarity in closure spaces
- Minimisation of spatial models using branching bisimilarity
- A Spatial Logic for Simplicial Models
- NEIGHBOUR ANALYSIS OF UNIFORMITY DATA
- On bisimilarity for polyhedral models and \texttt{SLCS}
- Geometric Model Checking of Continuous Space
This page was built for publication: Analysing Spatial Properties on Neighbourhood Spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5089239)