Guessing the Buffer Bound for k-Synchronizability (Q6070755): Difference between revisions

@@ Property / cites work @@
+Verifying programs with unreliable channels
@@ Property / cites work: Verifying programs with unreliable channels / rank @@
+Normal rank
@@ Property / cites work @@
+On deciding synchronizability for asynchronously communicating systems
+Normal rank
@@ Property / cites work @@
+Q6134258
@@ Property / cites work: Q6134258 / rank @@
+Normal rank
@@ Property / cites work @@
+On the completeness of verifying message passing programs under bounded asynchrony
+Normal rank
@@ Property / cites work @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+A Reduction Theorem for the Verification of Round-Based Distributed Algorithms
+Normal rank
@@ Property / cites work @@
+Synchronous, asynchronous, and causally ordered communication
+Normal rank
@@ Property / cites work @@
+On the \(k\)-synchronizability of systems
@@ Property / cites work: On the \(k\)-synchronizability of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposition of distributed programs into communication-closed layers
+Normal rank
@@ Property / cites work @@
+Q5111454
@@ Property / cites work: Q5111454 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues
+Normal rank
@@ Property / cites work @@
+Q3504343
@@ Property / cites work: Q3504343 / rank @@
+Normal rank
@@ Property / cites work @@
+Guessing the buffer bound for k-synchronizability
@@ Property / cites work: Guessing the buffer bound for k-synchronizability / rank @@
+Normal rank
@@ Property / cites work @@
+Q5009435
@@ Property / cites work: Q5009435 / rank @@
+Normal rank
@@ Property / cites work @@
+Context-Bounded Analysis of Concurrent Queue Systems
+Normal rank
@@ Property / cites work @@
+Reduction
@@ Property / cites work: Reduction / rank @@
+Normal rank