A Spatial Logic for Simplicial Models (Q6135777): Difference between revisions

@@ Property / cites work @@
+Handbook of Spatial Logics
@@ Property / cites work: Handbook of Spatial Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Geometric Model Checking of Continuous Space
@@ Property / cites work: Geometric Model Checking of Continuous Space / rank @@
+Normal rank
@@ Property / cites work @@
+On the almighty wand
@@ Property / cites work: On the almighty wand / rank @@
+Normal rank
@@ Property / cites work @@
+Q5668821
@@ Property / cites work: Q5668821 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting
+Normal rank
@@ Property / cites work @@
+Tarski's theorem on intuitionistic logic, for polyhedra
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+A spatial logic for concurrency. I
@@ Property / cites work: A spatial logic for concurrency. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Anytime, anywhere
@@ Property / cites work: Anytime, anywhere / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737192
@@ Property / cites work: Q4737192 / rank @@
+Normal rank
@@ Property / cites work @@
+An Experimental Spatio-Temporal Model Checker
@@ Property / cites work: An Experimental Spatio-Temporal Model Checker / rank @@
+Normal rank
@@ Property / cites work @@
+Specifying and Verifying Properties of Space
@@ Property / cites work: Specifying and Verifying Properties of Space / rank @@
+Normal rank
@@ Property / cites work @@
+Spatial Logic and Spatial Model Checking for Closure Spaces
+Normal rank
@@ Property / cites work @@
+Model Checking Spatial Logics for Closure Spaces
@@ Property / cites work: Model Checking Spatial Logics for Closure Spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q3504340
@@ Property / cites work: Q3504340 / rank @@
+Normal rank
@@ Property / cites work @@
+Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics
+Normal rank
@@ Property / cites work @@
+A generalized topological view of motion in discrete space.
+Normal rank
@@ Property / cites work @@
+Discrete Mereotopology
@@ Property / cites work: Discrete Mereotopology / rank @@
+Normal rank
@@ Property / cites work @@
+Graphical Encoding of a Spatial Logic for the π-Calculus
+Normal rank
@@ Property / cites work @@
+A simplicial complex model for dynamic epistemic logic to study distributed task computability
+Normal rank
@@ Property / cites work @@
+An \(O(m\log n)\) algorithm for stuttering equivalence and branching bisimulation
+Normal rank
@@ Property / cites work @@
+Logic in Computer Science
@@ Property / cites work: Logic in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Software-intensive systems and new computing paradigms. Challenges and visions
+Normal rank
@@ Property / cites work @@
+CCS expressions, finite state processes, and three problems of equivalence
+Normal rank
@@ Property / cites work @@
+Analysing Spatial Properties on Neighbourhood Spaces
+Normal rank
@@ Property / cites work @@
+The Temporal Logic of Rewriting: A Gentle Introduction
+Normal rank
@@ Property / cites work @@
+Q3827224
@@ Property / cites work: Q3827224 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4553288
@@ Property / cites work: Q4553288 / rank @@
+Normal rank
@@ Property / cites work @@
+Three logics for branching bisimulation
@@ Property / cites work: Three logics for branching bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Digital Topology
@@ Property / cites work: Digital Topology / rank @@
+Normal rank
@@ Property / cites work @@
+A multiprocess network logic with temporal and spatial modalities
+Normal rank
@@ Property / cites work @@
+Introduction to Bisimulation and Coinduction
@@ Property / cites work: Introduction to Bisimulation and Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5522742
@@ Property / cites work: Q5522742 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed Coverage Verification in Sensor Networks Without Location Information
+Normal rank
@@ Property / cites work @@
+A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks
+Normal rank