On bisimilarity for polyhedral models and \texttt{SLCS}

DOI10.1007/978-3-031-35355-0_9zbMATH Open1543.68243MaRDI QIDQ6535467FDOQ6535467

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

Publication date: 11 January 2024

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

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)

Cites Work

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

Cited In (2)

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

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)