{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:23:59Z","timestamp":1742394239479},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635758"},{"type":"electronic","value":"9783540696001"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0030682","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T06:23:32Z","timestamp":1133418212000},"page":"155-169","source":"Crossref","is-referenced-by-count":20,"title":["Low-overhead time-triggered group membership"],"prefix":"10.1007","author":[{"given":"Shmuel","family":"Katz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pat","family":"Lincoln","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Rushby","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"key":"13_CR1","unstructured":"ARINC Specification 659: Backplane Data Bus. Aeronautical Radio, Inc, Annapolis, MD, December 1993. Prepared by the Airlines Electronic Engineering Committee."},{"key":"13_CR2","first-page":"175","volume":"4","author":"F. Cristian","year":"1991","unstructured":"Flaviu Cristian. Reaching agreement on processor-group membership in synchronous distributed systems. Distributed Systems, 4:175\u2013187, 1991.","journal-title":"Distributed Systems"},{"key":"13_CR3","series-title":"volume 1102 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1007\/3-540-61474-5_86","volume-title":"Computer-Aided Verification, CAV '96","author":"D. L. Dill","year":"1996","unstructured":"David L. Dill. The Muro verification system. In Rajeev Alur and Thomas A. Henzinger, editors, Computer-Aided Verification, CAV '96, volume 1102 of Lecture Notes in Computer Science, pages 390\u2013393, New Brunswick, NJ, July\/August 1996. Springer-Verlag."},{"key":"13_CR4","unstructured":"Li Gong, Patrick Lincoln, and John Rushby. Byzantine agreement with authentication: Observations and applications in tolerating hybrid and link ] aults. In Dependable Computing for Critical Applications\u20145, pages 79\u201390, Champaign, IL, September 1995. IFIP WG 10.4, preliminary proceedings; final proceedings to be published by IEEE."},{"key":"13_CR5","unstructured":"Fault Tolerant Computing Symposium 25: Highlights from 25 Years, Pasadena, CA, June 1995. IEEE Computer Society."},{"key":"13_CR6","first-page":"66","volume-title":"Fault Tolerant Computing Symposium 25: Special Issue","author":"H. Kopetz","year":"1995","unstructured":"H. Kopetz. Automotive electronics-present state and future prospects. In Fault Tolerant Computing Symposium 25: Special Issue, pages 66\u201375, Pasadena, CA, June 1995. IEEE Computer Society."},{"key":"13_CR7","series-title":"volume 4 of Dependable Computing and Fault-Tolerant Systems","first-page":"411","volume-title":"Dependable Computing for Critical Applications","author":"H. Kopetz","year":"1989","unstructured":"H. Kopetz, G. Gr\u00fcnsteidl, and J. Reisinger. Fault-tolerant membership service in a synchronous distributed real-time system. In A. Avizienis and J. C. Laprie, editors, Dependable Computing for Critical Applications, volume 4 of Dependable Computing and Fault-Tolerant Systems, pages 411\u2013429, Santa Barbara, CA, August 1989. Springer-Verlag, Vienna, Austria."},{"issue":"1","key":"13_CR8","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/2.248873","volume":"27","author":"H. Kopetz","year":"1994","unstructured":"Hermann Kopetz and G\u00fcnter Gr\u00fcnsteidl. TTP-a protocol for fault-tolerant real-time systems. IEEE Computer, 27(1):14\u201323, January 1994.","journal-title":"IEEE Computer"},{"key":"13_CR9","first-page":"402","volume-title":"Fault Tolerant Computing Symposium 23","author":"P. Lincoln","year":"1993","unstructured":"Patrick Lincoln and John Rushby. A formally verified algorithm for interactive consistency under a hybrid fault model. In Fault Tolerant Computing Symposium 23, pages 402\u2013411, Toulouse, France, June 1993. IEEE Computer Society. Reprinted in [5, pp. 438\u2013447]."},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems: Safety. Springer-Verlag, 1995.","DOI":"10.1007\/978-1-4612-4222-2"},{"issue":"2","key":"13_CR11","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1109\/71.89066","volume":"2","author":"F. J. Meyer","year":"1991","unstructured":"Fred J. Meyer and Dhiraj K. Pradhan. Consensus with dual failure modes. IEEE Transactions on Parallel and Distributed Systems, 2(2):214\u2013222, April 1991.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"issue":"2","key":"13_CR12","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1109\/32.345827","volume":"21","author":"S. Owre","year":"1995","unstructured":"Sam Owre, John Rushby, Natarajan Shankar, and Friedrich von Henke. Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS. IEEE Transactions on Software Engineering, 21(2):107\u2013125, February 1995.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR13","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1145\/197917.198115","volume-title":"Thirteenth ACM Symposium on Principles of Distributed Computing","author":"J. Rushby","year":"1994","unstructured":"John Rushby. A formally verified algorithm for clock synchronization under a hybrid fault model. In Thirteenth ACM Symposium on Principles of Distributed Computing, pages 304\u2013313, Los Angeles, CA, August 1994. Association for Computing Machinery1."},{"issue":"4","key":"13_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":"13_CR15","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1109\/RELDIS.1988.25784","volume-title":"7th Symposium on Reliable Distributed Systems","author":"P. Thambidurai","year":"1988","unstructured":"Philip Thambidurai and You-Keun Park. Interactive consistency with multiple failure modes. In 7th Symposium on Reliable Distributed Systems, pages 93\u2013100, Columbus, OH, October 1988. IEEE Computer Society."}],"container-title":["Lecture Notes in Computer Science","Distributed Algorithms"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0030682","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T08:21:35Z","timestamp":1586593295000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0030682"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635758","9783540696001"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0030682","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}