On bisimilarity for polyhedral models and \texttt{SLCS}

DOI10.1007/978-3-031-35355-0_9zbMath1543.68243MaRDI QIDQ6535467

David Gabelaia, Mieke Massink, E. P. de Vink, Vincenzo Ciancia, Diego Latella

Publication date: 11 January 2024

zbMATH Keywords

polyhedral modelsspatial logicslogical equivalencespatial model checkingbisimulation relationsspatial bisimilarity

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Characterizing finite Kripke structures in propositional temporal logic
• A spatial logic for concurrency. I
• Continuous-time models for system design and analysis
• The algebra of topology
• Model Checking Spatial Logics for Closure Spaces
• Specifying and Verifying Properties of Space
• Discrete Mereotopology
• Counterexample-Guided Refinement of Template Polyhedra
• Handbook of Spatial Logics
• Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
• The Space and Motion of Communicating Agents
• Neighbourhood Structures: Bisimilarity and Basic Model Theory
• Three logics for branching bisimulation
• Branching time and abstraction in bisimulation semantics
• A spatial similarity measure based on games: theory and practice
• Geometric Model Checking of Continuous Space
• Analysing Spatial Properties on Neighbourhood Spaces
• Anytime, anywhere
• An O ( m log n ) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation
• Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
• A Spatial Logic for Simplicial Models
• Back-and-forth in space: on logics and bisimilarity in closure spaces
• Finite Models for a Spatial Logic with Discrete and Topological Path Operators
• Minimisation of spatial models using branching bisimilarity

This page was built for publication: On bisimilarity for polyhedral models and \texttt{SLCS}