Formal Model–Driven Design of Distributed Algorithms (Q5170275): Difference between revisions

@@ Property / cites work @@
+Monotonic Abstraction in Action
@@ Property / cites work: Monotonic Abstraction in Action / rank @@
+Normal rank
@@ Property / cites work @@
+Q5452300
@@ Property / cites work: Q5452300 / rank @@
+Normal rank
@@ Property / cites work @@
+Unreliable failure detectors for reliable distributed systems
+Normal rank
@@ Property / cites work @@
+A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract)
+Normal rank
@@ Property / cites work @@
+Q3126969
@@ Property / cites work: Q3126969 / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
+Normal rank
@@ Property / cites work @@
+Using Bounded Model Checking to Verify Consensus Algorithms
+Normal rank