Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study (Q5137903): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Time- and Space-Efficient Randomized Consensus
@@ Property / cites work: Time- and Space-Efficient Randomized Consensus / rank @@
+Normal rank
@@ Property / cites work @@
+Fast randomized consensus using shared memory
@@ Property / cites work: Fast randomized consensus using shared memory / rank @@
+Normal rank
@@ Property / cites work @@
+Randomized Consensus in Expected $O(N\log ^2 N)$ Operations Per Processor
+Normal rank
@@ Property / cites work @@
+Efficient asynchronous consensus with the weak adversary scheduler
+Normal rank
@@ Property / cites work @@
+Q4818871
@@ Property / cites work: Q4818871 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking of probabilistic and nondeterministic systems
+Normal rank
@@ Property / cites work @@
+Polylog randomized wait-free consensus
@@ Property / cites work: Polylog randomized wait-free consensus / rank @@
+Normal rank
@@ Property / cites work @@
+Finite state Markovian decision processes
@@ Property / cites work: Finite state Markovian decision processes / rank @@
+Normal rank
@@ Property / cites work @@
+Time-Lapse Snapshots
@@ Property / cites work: Time-Lapse Snapshots / rank @@
+Normal rank
@@ Property / cites work @@
+Q5798359
@@ Property / cites work: Q5798359 / rank @@
+Normal rank
@@ Property / cites work @@
+Impossibility of distributed consensus with one faulty process
+Normal rank
@@ Property / cites work @@
+Liveness in timed and untimed systems
@@ Property / cites work: Liveness in timed and untimed systems / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of Probabilistic Concurrent Program
@@ Property / cites work: Termination of Probabilistic Concurrent Program / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent reading and writing
@@ Property / cites work: Concurrent reading and writing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3126969
@@ Property / cites work: Q3126969 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving time bounds for randomized distributed algorithms
+Normal rank
@@ Property / cites work @@
+Forward and backward simulations. I. Untimed Systems
+Normal rank
@@ Property / cites work @@
+Verification of multiprocess probabilistic protocols
+Normal rank
@@ Property / cites work @@
+Formal verification of timed properties of randomized distributed algorithms
+Normal rank
@@ Property / cites work @@
+Probabilistic automata
@@ Property / cites work: Probabilistic automata / rank @@
+Normal rank