Back-and-forth in space: on logics and bisimilarity in closure spaces

DOI10.1007/978-3-031-15629-8_6zbMath1524.68213MaRDI QIDQ6163883

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

Publication date: 26 July 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

closure spacestopological spacesspatial logicsstuttering equivalencespatial bisimilarities

Mathematics Subject Classification ID

Logic in computer science (03B70) Topological spaces and generalizations (closure spaces, etc.) (54A05) 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
• Bisimulations for temporal logic
• A generalized topological view of motion in discrete space.
• Model Checking Spatial Logics for Closure Spaces
• SpaTeL
• Specifying and Verifying Properties of Space
• Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes
• An Experimental Spatio-Temporal Model Checker
• Geometric Model Checking of Continuous Space
• Analysing Spatial Properties on Neighbourhood Spaces
• An O ( m log n ) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation
• INSTANTIAL NEIGHBOURHOOD LOGIC
• A Spatial Logic for Simplicial Models

This page was built for publication: Back-and-forth in space: on logics and bisimilarity in closure spaces