Model checking parameterized asynchronous shared-memory systems (Q5892422): Difference between revisions

@@ Property / cites work @@
+Verification of probabilistic systems with faulty communication
+Normal rank
@@ Property / cites work @@
+Verifying programs with unreliable channels
@@ Property / cites work: Verifying programs with unreliable channels / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized Model Checking of Rendezvous Systems
+Normal rank
@@ Property / cites work @@
+The computational power of population protocols
@@ Property / cites work: The computational power of population protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis of pushdown automata: Application to model-checking
+Normal rank
@@ Property / cites work @@
+Parameterized Verification of Asynchronous Shared-Memory 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 @@
+Subclasses of Presburger arithmetic and the polynomial-time hierarchy
+Normal rank
@@ Property / cites work @@
+Parameterised Pushdown Systems with Non-Atomic Writes
+Normal rank
@@ Property / cites work @@
+Q4804890
@@ Property / cites work: Q4804890 / rank @@
+Normal rank
@@ Property / cites work @@
+Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank