Mixing Lossy and Perfect Fifo Channels (Q3541029): Difference between revisions

@@ Property / cites work @@
+Simulating perfect channels with probabilistic lossy channels
+Normal rank
@@ Property / cites work @@
+Verification of probabilistic systems with faulty communication
+Normal rank
@@ Property / cites work @@
+Using forward reachability analysis for verification of lossy channel systems
+Normal rank
@@ Property / cites work @@
+Verifying programs with unreliable channels
@@ Property / cites work: Verifying programs with unreliable channels / rank @@
+Normal rank
@@ Property / cites work @@
+On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems
+Normal rank
@@ Property / cites work @@
+Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties
+Normal rank
@@ Property / cites work @@
+On Termination for Faulty Channel Machines
@@ Property / cites work: On Termination for Faulty Channel Machines / rank @@
+Normal rank
@@ Property / cites work @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Unreliable channels are easier to verify than perfect channels
+Normal rank
@@ Property / cites work @@
+Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems
+Normal rank
@@ Property / cites work @@
+The ω-Regular Post Embedding Problem
@@ Property / cites work: The ω-Regular Post Embedding Problem / rank @@
+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 @@
+A theory of regular MSC languages
@@ Property / cites work: A theory of regular MSC languages / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating timed automata
@@ Property / cites work: Alternating timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded MSC communication
@@ Property / cites work: Bounded MSC communication / rank @@
+Normal rank
@@ Property / cites work @@
+On the decidability and complexity of Metric Temporal Logic over finite words
+Normal rank
@@ Property / cites work @@
+Validation of Stochastic Systems
@@ Property / cites work: Validation of Stochastic Systems / rank @@
+Normal rank