Propositional Dynamic Logic for Message-Passing Systems (Q5458843): Difference between revisions

@@ Property / cites work @@
+Muller message-passing automata and logics
@@ Property / cites work: Muller message-passing automata and logics / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional Dynamic Logic for Message-Passing Systems
+Normal rank
@@ Property / cites work @@
+Message-passing automata are expressively equivalent to EMSO logic
+Normal rank
@@ Property / cites work @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A Kleene theorem and model checking algorithms for existentially bounded communicating automata
+Normal rank
@@ Property / cites work @@
+Q4737197
@@ Property / cites work: Q4737197 / rank @@
+Normal rank
@@ Property / cites work @@
+A product version of dynamic linear time temporal logic
+Normal rank
@@ Property / cites work @@
+Dynamic linear time temporal logic
@@ Property / cites work: Dynamic linear time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474224
@@ Property / cites work: Q4474224 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754167
@@ Property / cites work: Q2754167 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about layered message passing systems
@@ Property / cites work: Reasoning about layered message passing systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490750
@@ Property / cites work: Q4490750 / rank @@
+Normal rank