An automata-theoretic approach to the verification of distributed algorithms (Q1706162): Difference between revisions

@@ Property / cites work @@
+Q5357714
@@ Property / cites work: Q5357714 / rank @@
+Normal rank
@@ Property / cites work @@
+Streaming transducers for algorithmic verification of single-pass list-processing programs
+Normal rank
@@ Property / cites work @@
+Algorithmic analysis of array-accessing programs
@@ Property / cites work: Algorithmic analysis of array-accessing programs / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized Model Checking of Token-Passing Systems
+Normal rank
@@ Property / cites work @@
+Model Checking Parameterised Multi-token Systems via the Composition Method
+Normal rank
@@ Property / cites work @@
+XPath satisfiability in the presence of DTDs
@@ Property / cites work: XPath satisfiability in the presence of DTDs / rank @@
+Normal rank
@@ Property / cites work @@
+Two-variable logic on data trees and XML reasoning
+Normal rank
@@ Property / cites work @@
+Model Checking Languages of Data Words
@@ Property / cites work: Model Checking Languages of Data Words / rank @@
+Normal rank
@@ Property / cites work @@
+A Reduction Theorem for the Verification of Round-Based Distributed Algorithms
+Normal rank
@@ Property / cites work @@
+An O(n log n) unidirectional distributed algorithm for extrema finding in a circle
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+On Reasoning About Rings
@@ Property / cites work: On Reasoning About Rings / rank @@
+Normal rank
@@ Property / cites work @@
+Keeping a Crowd Safe: On the Complexity of Parameterized Verification (Invited Talk).
+Normal rank
@@ Property / cites work @@
+Q3113675
@@ Property / cites work: Q3113675 / rank @@
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+Normal rank
@@ Property / cites work @@
+On Verifying Fault Tolerance of Distributed Protocols
+Normal rank
@@ Property / cites work @@
+Q2865941
@@ Property / cites work: Q2865941 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5015276
@@ Property / cites work: Q5015276 / rank @@
+Normal rank
@@ Property / cites work @@
+PDL with intersection and converse: satisfiability and infinite-state model checking
+Normal rank
@@ Property / cites work @@
+On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: Reachability
+Normal rank
@@ Property / cites work @@
+Model checking propositional dynamic logic with all extras
+Normal rank
@@ Property / cites work @@
+Q3126969
@@ Property / cites work: Q3126969 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems
+Normal rank
@@ Property / cites work @@
+An             <i>O</i>             (             <i>n</i>             log             <i>n</i>             ) Unidirectional Algorithm for the Circular Extrema Problem
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Multi-parameterised compositional verification of safety properties
+Normal rank
@@ Property / cites work @@
+Extending two-variable logic on data trees with order on data values and its automata
+Normal rank
@@ Property / cites work @@
+Q4219045
@@ Property / cites work: Q4219045 / rank @@
+Normal rank