Model Checking Parameterised Multi-token Systems via the Composition Method (Q2817946): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2478478319
@@ Property / OpenAlex ID: W2478478319 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Verification of Timed Ad Hoc Networks
@@ Property / cites work: On the Verification of Timed Ad Hoc Networks / rank @@
+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 @@
+Liveness of Parameterized Timed Networks
@@ Property / cites work: Liveness of Parameterized Timed Networks / rank @@
+Normal rank
@@ Property / cites work @@
+On the Expressive Power of Communication Primitives in Parameterised Systems
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Parameterized Verification
@@ Property / cites work: Decidability of Parameterized Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about networks with many identical finite state processes
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4584899
@@ Property / cites work: Q4584899 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417919
@@ Property / cites work: Q4417919 / rank @@
+Normal rank
@@ Property / cites work @@
+On Reasoning About Rings
@@ Property / cites work: On Reasoning About Rings / rank @@
+Normal rank
@@ Property / cites work @@
+The first order properties of products of algebraic systems
+Normal rank
@@ Property / cites work @@
+Reasoning about systems with many processes
@@ Property / cites work: Reasoning about systems with many processes / rank @@
+Normal rank
@@ Property / cites work @@
+Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems
+Normal rank
@@ Property / cites work @@
+Probabilistic self-stabilization
@@ Property / cites work: Probabilistic self-stabilization / rank @@
+Normal rank
@@ Property / cites work @@
+On compositionality and its limitations
@@ Property / cites work: On compositionality and its limitations / rank @@
+Normal rank
@@ Property / cites work @@
+Branching-Depth Hierarchies
@@ Property / cites work: Branching-Depth Hierarchies / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic theory of order
@@ Property / cites work: The monadic theory of order / rank @@
+Normal rank
@@ Property / cites work @@
+Proving properties of a ring of finite-state machines
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2817946