Minimisation of spatial models using branching bisimilarity

DOI10.1007/978-3-031-27481-7_16MaRDI QIDQ6174538zbMATH OpenOpenAlexFDO

Authors Vincenzo Ciancia, Jan Friso Groote, Diego Latella, Mieke Massink, Erik de Vink

Publication date 17 August 2023

Published in Formal Methods (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-27481-7_16

zbMATH Keywords

branching bisimilarityclosure spacesspatial bisimilarityspatial logicsspatial minimisationspatial model checking

Mathematics Subject Classification ID

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

Recommendations

• Spatial logic and spatial model checking for closure spaces
• Bisimulation minimization and symbolic model checking
• Model checking spatial logics for closure spaces
• Geometric Model Checking of Continuous Space
• A parallel relation-based algorithm for symbolic bisimulation minimization

Cites work

• A generalized topological view of motion in discrete space.
• A spatial logic for concurrency. I
• A Spatial Logic for Simplicial Models
• A spatial similarity measure based on games: theory and practice
• An O(m n) algorithm for computing stuttering equivalence and branching bisimulation
• An O(m n) algorithm for branching bisimilarity on labelled transition systems
• Analysing Spatial Properties on Neighbourhood Spaces
• Anytime, anywhere: modal logics for mobile ambients
• Branching time and abstraction in bisimulation semantics
• Embedding RCC8D in the collective spatial logic CSLCS
• Geometric Model Checking of Continuous Space
• Handbook of Spatial Logics
• scientific article; zbMATH DE number 3228406 (Why is no real title available?)
• Model checking spatial logics for closure spaces
• Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
• SpaTeL: a novel spatial-temporal logic and its applications to networked systems
• Specifying and Verifying Properties of Space
• The Space and Motion of Communicating Agents

Cited in

(5)

• Spatial generalization of BMAPs with finite state space
• On bisimilarity for polyhedral models and \texttt{SLCS}
• A spatial logic with time and quantifiers
• Weak simplicial bisimilarity and minimisation for polyhedral model checking
• On bisimilarity for quasi-discrete closure spaces

This page was built for publication: Minimisation of spatial models using branching bisimilarity

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