Q5111454 (Q5111454): Difference between revisions

@@ Property / cites work @@
+Automated verification of automata communicating via FIFO and bag buffers
+Normal rank
@@ Property / cites work @@
+Automated Analysis of Asynchronously Communicating Systems
+Normal rank
@@ Property / cites work @@
+On deciding synchronizability for asynchronously communicating systems
+Normal rank
@@ Property / cites work @@
+Deciding choreography realizability
@@ Property / cites work: Deciding choreography realizability / rank @@
+Normal rank
@@ Property / cites work @@
+Synchronizability for Verification of Asynchronously Communicating Systems
+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 @@
+Verification of programs with half-duplex communication
+Normal rank
@@ Property / cites work @@
+Decidable Topologies for Communicating Automata with FIFO and Bag Channels
+Normal rank
@@ Property / cites work @@
+Mixing Lossy and Perfect Fifo Channels
@@ Property / cites work: Mixing Lossy and Perfect Fifo Channels / rank @@
+Normal rank
@@ Property / cites work @@
+Multiparty Session Types Meet Communicating Automata
+Normal rank
@@ Property / cites work @@
+A Kleene theorem and model checking algorithms for existentially bounded communicating automata
+Normal rank
@@ Property / cites work @@
+Reachability Analysis of Communicating Pushdown Systems
+Normal rank
@@ Property / cites work @@
+Q5009435
@@ Property / cites work: Q5009435 / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction
@@ Property / cites work: Reduction / rank @@
+Normal rank
@@ Property / cites work @@
+Context-Bounded Analysis of Concurrent Queue Systems
+Normal rank
@@ Property / cites work @@
+Realisability of choreographies
@@ Property / cites work: Realisability of choreographies / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank