Verification of Parameterized Communicating Automata via Split-Width (Q2811340): Difference between revisions

@@ Property / cites work @@
+Verifying Communicating Multi-pushdown Systems via Split-Width
+Normal rank
@@ Property / cites work @@
+Parameterized Model Checking of Token-Passing Systems
+Normal rank
@@ Property / cites work @@
+Parameterized Model Checking of Rendezvous Systems
+Normal rank
@@ Property / cites work @@
+Logic for communicating automata with parameterized topology
+Normal rank
@@ Property / cites work @@
+Q2978552
@@ Property / cites work: Q2978552 / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized Verification of Communicating Automata under Context Bounds
+Normal rank
@@ Property / cites work @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q3077955
@@ Property / cites work: Q3077955 / rank @@
+Normal rank
@@ Property / cites work @@
+MSO Decidability of Multi-Pushdown Systems via Split-Width
+Normal rank
@@ Property / cites work @@
+Parameterized Verification of Ad Hoc Networks
@@ Property / cites work: Parameterized Verification of Ad Hoc Networks / rank @@
+Normal rank
@@ Property / cites work @@
+On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks
+Normal rank
@@ Property / cites work @@
+Model checking parameterized asynchronous shared-memory systems
+Normal rank
@@ Property / cites work @@
+On Reasoning About Rings
@@ Property / cites work: On Reasoning About Rings / rank @@
+Normal rank
@@ Property / cites work @@
+A Kleene theorem and model checking algorithms for existentially bounded communicating automata
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank