Verification of Immediate Observation Population Protocols (Q5009448): Difference between revisions

@@ label / en / label / en @@
+Verification of Immediate Observation Population Protocols
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Computation in networks of passively mobile finite-state sensors
+Normal rank
@@ Property / cites work @@
+Computation in networks of passively mobile finite-state sensors
+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 @@
+Q3304110
@@ Property / cites work: Q3304110 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity Analysis of the Backward Coverability Algorithm for VASS
+Normal rank
@@ Property / cites work @@
+Complexity results for 1-safe nets
@@ Property / cites work: Complexity results for 1-safe nets / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Population Protocols
@@ Property / cites work: Verification of Population Protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Population Protocols
@@ Property / cites work: Model Checking Population Protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of some problems in Petri nets
@@ Property / cites work: Complexity of some problems in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+The covering and boundedness problems for vector addition systems
+Normal rank
@@ Property / OpenAlex ID @@
+W2884607592
@@ Property / OpenAlex ID: W2884607592 / rank @@
+Normal rank
@@ Property / title @@
+Verification of Immediate Observation Population Protocols (English)
+Normal rank