Paxos for System Builders: an overview Export

@inproceedings{citeulike:4609424, abstract = {This paper presents an overview of Paxos for System Builders, a complete specification of the Paxos replication protocol such that system builders can understand it and implement it. We evaluate the performance of a prototype implementation and detail the safety and liveness properties guaranteed by our specification of Paxos.}, address = {New York, NY, USA}, author = {Kirsch, Jonathan and Amir, Yair}, booktitle = {LADIS '08: Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware}, citeulike-article-id = {4609424}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1529974.1529979}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/1529974.1529979}, doi = {10.1145/1529974.1529979}, isbn = {978-1-60558-296-2}, keywords = {2008, faulttolerance, paxos}, location = {Yorktown Heights, New York}, pages = {1--6}, posted-at = {2009-05-23 11:09:01}, priority = {2}, publisher = {ACM}, title = {Paxos for System Builders: an overview}, url = {http://dx.doi.org/10.1145/1529974.1529979}, year = {2008} }

TY - CONF ID - citeulike:4609424 L3 - citeulike-article-id:4609424 N2 - This paper presents an overview of Paxos for System Builders, a complete specification of the Paxos replication protocol such that system builders can understand it and implement it. We evaluate the performance of a prototype implementation and detail the safety and liveness properties guaranteed by our specification of Paxos. CY - Yorktown Heights, New York SN - 978-1-60558-296-2 AD - New York, NY, USA EP - 6 TI - Paxos for System Builders: an overview PB - ACM T2 - LADIS '08: Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware SP - 1 KW - 2008 KW - faulttolerance KW - paxos AU - Kirsch, Jonathan AU - Amir, Yair PY - 2008/// UR - http://dx.doi.org/10.1145/1529974.1529979 ER -