Download:
by Piotr Zieliński, Piotr Zieliński
http://www.cl.cam.ac.uk/TechReports/UCAM-CL-TR-582.pdf
Add To MetaCart
Abstract:
Technical reports published by the University of Cambridge Computer Laboratory are freely available via the Internet:
Citations
|
367
|
Reaching Agreement in the Presence of Faults
– Pease, Shostak, et al.
- 1980
|
|
209
|
Atomic Broadcast: From Simple Message Diffusion To Byzantine Agreement
– Cristian, Aghili, et al.
- 1985
|
|
61
|
Specifying Systems - The TLA+ Language and Tools for Hardware and Software Engineers
– Lamport
- 2002
|
|
50
|
Paxos made simple
– Lamport
- 2001
|
|
21
|
Deconstructing Paxos
– Boichat, Dutta, et al.
- 2001
|
|
13
|
Stubborn communication channels
– Guerraoui, Oliveira, et al.
- 1998
|
|
10
|
André Schiper, and Péter Urbán. Total order broadcast and multicast algorithms: Taxonomy and survey
– Défago
- 2004
|
|
9
|
A simple proof of the uniform consensus synchronous lower bound
– Keidar, Rajsbaum
- 2002
|
|
6
|
The ABCD’s of paxos
– Lampson
- 2001
|
|
4
|
Charron-Bost and André Schiper. Uniform consensus is harder than consensus (extended abstract
– Bernadette
- 2000
|
|
4
|
An optimal atomic broadcast protocol and an implementation framework
– Ezhilchelvan, Palmer, et al.
- 2003
|
|
3
|
Rachid Guerraoui. Deconstructing Paxos
– Boichat, Dutta, et al.
- 2001
|
