Distributed consensus, revisited (Q2458442): Difference between revisions

@@ Property / describes a project that uses @@
+UNITY
@@ Property / describes a project that uses: UNITY / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00236-007-0052-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2027330435
@@ Property / OpenAlex ID: W2027330435 / rank @@
+Normal rank
@@ Property / cites work @@
+The weakest failure detector for solving consensus
+Normal rank
@@ Property / cites work @@
+Unreliable failure detectors for reliable distributed systems
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Revisiting the PAXOS algorithm
@@ Property / cites work: Revisiting the PAXOS algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Impossibility of distributed consensus with one faulty process
+Normal rank
@@ Property / cites work @@
+A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract)
+Normal rank
@@ Property / cites work @@
+Formal verification of a leader election protocol in process algebra
+Normal rank
@@ Property / cites work @@
+Q2766889
@@ Property / cites work: Q2766889 / rank @@
+Normal rank
@@ Property / cites work @@
+Focus points and convergent process operators: A proof strategy for protocol verification
+Normal rank
@@ Property / cites work @@
+Forward and backward simulations. I. Untimed Systems
+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 @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Composition and behaviors of probabilistic I/O automata
+Normal rank