{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T04:47:52Z","timestamp":1755838072572},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540411437"},{"type":"electronic","value":"9783540400264"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-40026-5_22","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T23:59:07Z","timestamp":1181692747000},"page":"330-344","source":"Crossref","is-referenced-by-count":24,"title":["Disk Paxos"],"prefix":"10.1007","author":[{"given":"Eli","family":"Gafni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leslie","family":"Lamport","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,15]]},"reference":[{"issue":"1","key":"22_CR1","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1145\/200836.200869","volume":"42","author":"H. Attiya","year":"1995","unstructured":"Hagit Attiya, Amotz Bar-Noy, and Danny Dolev. Sharing memory robustly in message-passing systems. Journal of the ACM, 42(1):124\u2013142, January 1995.","journal-title":"Journal of the ACM"},{"issue":"3","key":"22_CR2","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1145\/128738.128742","volume":"9","author":"K. Birman","year":"1991","unstructured":"Kenneth Birman, Andr\u00e9 Schiper, and Pat Stephenson. Lightweight causal and atomic group multicast. ACM Transactions on Computer Systems, 9(3):272\u2013314, August 1991.","journal-title":"ACM Transactions on Computer Systems"},{"key":"22_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/BFb0030679","volume-title":"Proceedings of the 11th International Workshop on Distributed Algorithms (WDAG 97)","author":"R. Prisco De","year":"1997","unstructured":"Roberto De Prisco, Butler Lampson, and Nancy Lynch. Revisiting the Paxos algorithm. In Marios Mavronicolas and Philippas Tsigas, eds., Proceedings of the 11th International Workshop on Distributed Algorithms (WDAG 97), volume 1320 of Lecture Notes in Computer Science, pages 111\u2013125, Saarbruken, Germany, 1997. Springer-Verlag."},{"issue":"2","key":"22_CR4","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/3149.214121","volume":"32","author":"M. J. Fischer","year":"1985","unstructured":"Michael J. Fischer, Nancy Lynch, and Michael S. Paterson. Impossibility of dis-tributed consensus with one faulty process. Journal of the ACM, 32(2):374\u2013382, April 1985.","journal-title":"Journal of the ACM"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Eli Gafni and Leslie Lamport. Disk paxos. Technical Report 163, Com-paq Systems Research Center, July 2000. Currently available on the World Wide Web at http:\/\/gatekeeper.dec.com\/pub\/DEC\/SRC\/research-reports\/abstracts\/src-rr-163.html .","DOI":"10.1007\/3-540-40026-5_22"},{"issue":"7","key":"22_CR6","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Leslie Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558\u2013565, July 1978.","journal-title":"Communications of the ACM"},{"key":"22_CR7","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF01786227","volume":"1","author":"L. Lamport","year":"1986","unstructured":"Leslie Lamport. On interprocess communication. Distributed Computing, 1:77\u2013101, 1986.","journal-title":"Distributed Computing"},{"issue":"1","key":"22_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/7351.7352","volume":"5","author":"L. Lamport","year":"1987","unstructured":"Leslie Lamport. A fast mutual exclusion algorithm. ACM Transactions on Com-puter Systems, 5(1): 1\u201311, February 1987.","journal-title":"ACM Transactions on Com-puter Systems"},{"issue":"3","key":"22_CR9","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Leslie Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872\u2013923, May 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"2","key":"22_CR10","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/279227.279229","volume":"16","author":"L. Lamport","year":"1998","unstructured":"Leslie Lamport. The part-time parliament. ACM Transactions on Computer Sys-tems, 16(2):133\u2013169, May 1998.","journal-title":"ACM Transactions on Computer Sys-tems"},{"key":"22_CR11","unstructured":"Leslie Lamport. Specifying concurrent systems with TLA+. In Manfred Broy and Ralf Steinbriiggen, eds., Calculational System Design, pages 183\u2013247, Amster-dam, 1999. IOS Press."},{"key":"22_CR12","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Distributed Algorithms","author":"B. W. Lampson","year":"1996","unstructured":"Butler W. Lampson. How to build a highly available system using consensus. In Ozalp Babaoglu and Keith Marzullo, eds., Distributed Algorithms, volume 1151 of Lecture Notes in Computer Science, pages 1\u201317, Berlin, 1996. Springer-Verlag."},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Edward K. Lee and Chandramohan Thekkath. Petal: Distributed virtual disks. In Proceedings of the Seventh International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-VII), pages 84\u201392, New York, October 1996. ACM Press.","DOI":"10.1145\/237090.237157"},{"issue":"4","key":"22_CR14","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1145\/98163.98167","volume":"22","author":"F. B. Schneider","year":"1990","unstructured":"Fred B. Schneider. Implementing fault-tolerant services using the state machine approach: A tutorial. ACM Computing Surveys, 22(4):299\u2013319, December 1990.","journal-title":"ACM Computing Surveys"},{"key":"22_CR15","volume-title":"Crash Recovery in a Distributed Database System","author":"M. Skeen Dale","year":"1982","unstructured":"Marion Dale Skeen. Crash Recovery in a Distributed Database System. PhD thesis, University of California, Berkeley, May 1982."},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Chandramohan Thekkath, Timothy Mann, and Edward K. Lee. Frangipani: A scalable distributed file system. In Proceedings of the 16th ACM Symposium on Op-erating Systems Principles, pages 224\u2013237, New York, October 1997. ACM Press.","DOI":"10.1145\/268998.266694"},{"key":"22_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/3-540-48153-2_6","volume-title":"Correct Hardware Design and Verification Methods","author":"Y. Yu","year":"1999","unstructured":"Yuan Yu, Panagiotis Manolios, and Leslie Lamport. Model checking TLA+ specifi-cations. In Laurence Pierre and Thomas Kropf, eds., Correct Hardware Design and Verification Methods, volume 1703 of Lecture Notes in Computer Science, pages 54\u201366, Berlin, Heidelberg, New York, September 1999. Springer-Verlag. 10th IFIP wg 10.5 Advanced Research Working Conference, CHARME \u201999."}],"container-title":["Lecture Notes in Computer Science","Distributed Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-40026-5_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T02:08:01Z","timestamp":1556503681000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40026-5_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411437","9783540400264"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-40026-5_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}