{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T01:53:06Z","timestamp":1769910786592,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540617693","type":"print"},{"value":"9783540706793","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61769-8_1","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:20:53Z","timestamp":1330294853000},"page":"1-17","source":"Crossref","is-referenced-by-count":43,"title":["How to build a highly available system using consensus"],"prefix":"10.1007","author":[{"given":"Butler W.","family":"Lampson","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/0304-3975(91)90224-P","volume":"82","author":"M. Abadi","year":"1991","unstructured":"M. Abadi and L. Lamport. The existence of refinement mappings. Theoretical Computer Science 82, 2, May 1991.","journal-title":"Theoretical Computer Science"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1016\/0020-0190(85)90056-0","volume":"21","author":"B. Alpern","year":"1985","unstructured":"B. Alpern and F. Schneider. Defining liveness. Information Processing Letters 21, 4, 1985.","journal-title":"Information Processing Letters"},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/3149.214121","volume":"32","author":"M. Fischer","year":"1985","unstructured":"M. Fischer, N. Lynch, and M. Paterson. Impossibility of distributed consensus with one faulty process. J. ACM 32, 2, April 1985.","journal-title":"J. ACM"},{"key":"1_CR4","unstructured":"J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann, 1993."},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"L. Lamport. The implementation of reliable distributed multiprocess systems. Computer Networks 2, 1978.","DOI":"10.1016\/0376-5075(78)90045-4"},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/63238.63240","volume":"32","author":"L. Lamport","year":"1989","unstructured":"L. Lamport. A simple approach to specifying concurrent systems. Comm. ACM, 32, 1, Jan. 1989.","journal-title":"Comm. ACM"},{"key":"1_CR7","volume-title":"Technical Report 49","author":"L. Lamport","year":"1989","unstructured":"L. Lamport. The part-time parliament. Technical Report 49, Systems Research Center, Digital Equipment Corp., Palo Alto, Sep. 1989."},{"key":"1_CR8","unstructured":"B. Liskov and B. Oki. Viewstamped replication, Proc. 7th PODC, Aug. 1988."},{"key":"1_CR9","unstructured":"N Lynch. Distributed Algorithms. Morgan Kaufmann, 1996."},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"N. Lynch and F. Vaandrager. Forward and backward simulations for timing-based systems. Lecture Notes in Computer Science 600, Springer, 1992.","DOI":"10.1007\/BFb0032002"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"F. Schneider. Implementing fault-tolerant services using the state-machine approach: A tutorial. Computing Surveys 22 (Dec 1990).","DOI":"10.1145\/98163.98167"}],"container-title":["Lecture Notes in Computer Science","Distributed Algorithms"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61769-8_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:10:27Z","timestamp":1605647427000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61769-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617693","9783540706793"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-61769-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}