On bisimilarity for polyhedral models and \texttt{SLCS}

DOI10.1007/978-3-031-35355-0_9MaRDI QIDQ6535467zbMATH OpenFDO

Authors Vincenzo Ciancia, David Gabelaia, Diego Latella, Mieke Massink, Erik de Vink

Publication date 11 January 2024

zbMATH Keywords

spatial logicspolyhedral modelslogical equivalencespatial model checkingbisimulation relationsspatial bisimilarity

Mathematics Subject Classification ID

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

Recommendations

• Geometric Model Checking of Continuous Space
• Back-and-forth in space: on logics and bisimilarity in closure spaces
• Bisimulation from open maps
• Meta model of concurrent computation. III: Bisimulation lattice
• Bisimulation, games, and logic

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• scientific article; zbMATH DE number 3228406 (Why is no real title available?)
• A Spatial Logic for Simplicial Models
• A spatial logic for concurrency. I
• A spatial similarity measure based on games: theory and practice
• An \(\mathcal O(m\log n)\) algorithm for computing stuttering equivalence and branching bisimulation
• Analysing Spatial Properties on Neighbourhood Spaces
• Anytime, anywhere: modal logics for mobile ambients
• Back-and-forth in space: on logics and bisimilarity in closure spaces
• Branching time and abstraction in bisimulation semantics
• Characterizing finite Kripke structures in propositional temporal logic
• Continuous-time models for system design and analysis
• Counterexample-Guided Refinement of Template Polyhedra
• Discrete mereotopology
• Finite Models for a Spatial Logic with Discrete and Topological Path Operators
• Geometric Model Checking of Continuous Space
• Handbook of Spatial Logics
• Minimisation of spatial models using branching bisimilarity
• Model checking spatial logics for closure spaces
• Neighbourhood Structures: Bisimilarity and Basic Model Theory
• Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
• Specifying and Verifying Properties of Space
• Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
• The Space and Motion of Communicating Agents
• The algebra of topology
• Three logics for branching bisimulation
• Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis

Cited in

(2)

• Geometric Model Checking of Continuous Space
• Back-and-forth in space: on logics and bisimilarity in closure spaces

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535467)