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

@@ Property / author @@
-Dietrich Kuske
@@ Property / author: Dietrich Kuske / rank @@
-Normal rank
@@ Property / author @@
+Dietrich Kuske
@@ Property / author: Dietrich Kuske / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1974771355
@@ Property / OpenAlex ID: W1974771355 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.4764
@@ Property / arXiv ID: 1007.4764 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5458843