Local Model Checking in a Logic for True Concurrency (Q2988383): Difference between revisions

@@ Property / cites work @@
+Unfoldings: A partial-order approach to model checking.
+Normal rank
@@ Property / cites work @@
+Refinement of actions and equivalence notions for concurrent systems
+Normal rank
@@ Property / cites work @@
+Q3358716
@@ Property / cites work: Q3358716 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847022
@@ Property / cites work: Q4847022 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150204
@@ Property / cites work: Q3150204 / rank @@
+Normal rank
@@ Property / cites work @@
+Event Identifier Logic
@@ Property / cites work: Event Identifier Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Logic for True Concurrency
@@ Property / cites work: A Logic for True Concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Model-Checking Games for Fixpoint Logics with Partial Order Models
+Normal rank
@@ Property / cites work @@
+Logics and Bisimulation Games for Concurrency, Causality and Conflict
+Normal rank
@@ Property / cites work @@
+Q3030239
@@ Property / cites work: Q3030239 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent bisimulations in Petri nets
@@ Property / cites work: Concurrent bisimulations in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3805922
@@ Property / cites work: Q3805922 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036588
@@ Property / cites work: Q4036588 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222939
@@ Property / cites work: Q4222939 / rank @@
+Normal rank
@@ Property / cites work @@
+Local model checking in the modal mu-calculus
@@ Property / cites work: Local model checking in the modal mu-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A linear-time model-checking algorithm for the alternation-free modal mu- calculus
+Normal rank
@@ Property / cites work @@
+Continuous Fragment of the mu-Calculus
@@ Property / cites work: Continuous Fragment of the mu-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Weak MSO
@@ Property / cites work: Weak MSO / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760241
@@ Property / cites work: Q2760241 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of domino games and hhp-bisimilarity.
+Normal rank
@@ Property / cites work @@
+On model checking for the \(\mu\)-calculus and its fragments
+Normal rank
@@ Property / cites work @@
+An automata theoretic decision procedure for the propositional mu- calculus
+Normal rank