{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T22:40:15Z","timestamp":1740868815794,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540231677"},{"type":"electronic","value":"9783540302063"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30206-3_13","type":"book-chapter","created":{"date-parts":[[2011,1,18]],"date-time":"2011-01-18T10:19:15Z","timestamp":1295345955000},"page":"167-182","source":"Crossref","is-referenced-by-count":15,"title":["A Unified Fault-Tolerance Protocol"],"prefix":"10.1007","author":[{"given":"Paul","family":"Miner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alfons","family":"Geser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lee","family":"Pike","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeffrey","family":"Maddalon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"10","key":"13_CR1","doi-asserted-by":"publisher","first-page":"1031","DOI":"10.1109\/12.888039","volume":"49","author":"M.H. Azadmanesh","year":"2000","unstructured":"Azadmanesh, M.H., Kieckhaferm, R.M.: Exploiting omissive faults in synchronous approximate agreement. IEEE Transactions on Computers\u00a049(10), 1031\u20131042 (2000)","journal-title":"IEEE Transactions on Computers"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/3-540-45352-0_8","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"P. Caspi","year":"2000","unstructured":"Caspi, P., Salem, R.: Threshold and bounded-delay voting in critical control systems. In: Joseph, M. (ed.) FTRTFT 2000. LNCS, vol.\u00a01926, pp. 70\u201381. Springer, Heidelberg (2000)"},{"issue":"6","key":"13_CR3","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1109\/TC.1978.1675144","volume":"27","author":"D. Davies","year":"1978","unstructured":"Davies, D., Wakerly, J.F.: Synchronization and matching in redundant systems. IEEE Transactions on Computers\u00a027(6), 531\u2013539 (1978)","journal-title":"IEEE Transactions on Computers"},{"key":"13_CR4","unstructured":"Geser, A., Miner, P.S.: A new on-line diagnosis protocol for the SPIDER family of Byzantine fault tolerant architectures. Technical Memorandum NASA\/TM-2003-212432, NASA Langley Research Center, Hampton, VA (December 2003) (in print)"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Hoyme, K., Driscoll, K.: SAFEbus TM . In: 11th AIAA\/IEEE Digital Avionics Systems Conference, Seattle, WA, October 1992, pp. 68\u201373 (1992)","DOI":"10.1109\/DASC.1992.282179"},{"key":"13_CR6","volume-title":"Real-Time Systems","author":"H. Kopetz","year":"1997","unstructured":"Kopetz, H.: Real-Time Systems. Kluwer Academic Publishers, Dordrecht (1997)"},{"issue":"4","key":"13_CR7","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1109\/12.2183","volume":"37","author":"R.M. Kieckhafer","year":"1988","unstructured":"Kieckhafer, R.M., Walter, C.J., Finn, A.M., Thambidurai, P.M.: The MAFT architecture for distributed fault tolerance. IEEE Transactions on Computers\u00a037(4), 398\u2013405 (1988)","journal-title":"IEEE Transactions on Computers"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Latronico, E., Miner, P., Koopman, P.: Quantifying the reliability of proven SPIDER group membership service guarantees. In: Proceedings of the International Conference on Dependable Systems and Networks (June 2004)","DOI":"10.1109\/DSN.2004.1311897"},{"key":"13_CR9","volume-title":"Distributed Algorithms","author":"N.A. Lynch","year":"1996","unstructured":"Lynch, N.A.: Distributed Algorithms. Morgan Kaufmann, San Francisco (1996)"},{"key":"13_CR10","unstructured":"Miner, P.S.: Verification of fault-tolerant clock synchronization systems. NASA Technical Paper 3349, NASA Langley Research Center, Hampton, VA (November 1993)"},{"key":"13_CR11","unstructured":"Miner, P.S., Malekpour, M., Torres-Pomales, W.: Conceptual design of a Reliable Optical BUS (ROBUS). In: 21st AIAA\/IEEE Digital Avionics Systems Conference DASC, Irvine, CA (October 2002)"},{"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":"Owre, S., Rushby, J., Shankar, N., von Henke, F.: Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS. IEEE Transactions on Software Engineering\u00a021(2), 107\u2013125 (1995)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Pike, L., Maddalon, J., Miner, P., Geser, A.: Abstractions for fault-tolerant distributed system verification. In: Proceedings of Theorem-Proving in Higher-Order Logics (TPHOLs). Theorem Proving in Higher-Order Logics, TPHOLs (2004), Accepted. Available at http:\/\/shemesh.larc.nasa.gov\/fm\/spider\/spider_pubs.html","DOI":"10.1007\/978-3-540-30142-4_19"},{"key":"13_CR14","volume-title":"Introduction to Analysis","author":"M. Rosenlicht","year":"1968","unstructured":"Rosenlicht, M.: Introduction to Analysis. Dover Publications, Inc., New York (1968)"},{"key":"13_CR15","unstructured":"Rushby, J.: A comparison of bus architectures for safety-critical embedded systems. Technical Report NASA\/CR-2003-212161, NASA Langley Research Center, Hampton, VA (March 2003)"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","first-page":"217","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"N. Shankar","year":"1991","unstructured":"Shankar, N.: Mechanical verification of a generalized protocol for Byzantine fault-tolerant clock synchronization. In: Vytopil, J. (ed.) FTRTFT 1992. LNCS, vol.\u00a0571, pp. 217\u2013236. Springer, Heidelberg (1991)"},{"key":"13_CR17","unstructured":"SPIDER homepage, NASA Langley Research Center, Formal Methods Team, Available at http:\/\/shemesh.larc.nasa.gov\/fm\/spider\/"},{"key":"13_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/BFb0055353","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"D. Schwier","year":"1998","unstructured":"Schwier, D., von Henke, F.: Mechanical verification of clock synchronization algorithms. In: Ravn, A.P., Rischel, H. (eds.) FTRTFT 1998. LNCS, vol.\u00a01486, pp. 262\u2013271. Springer, Heidelberg (1998)"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Thambidurai, P., Park, Y.-K.: Interactive consistency with multiple failure modes. In: 7th Reliable Distributed Systems Symposium, October 1988, pp. 93\u2013100 (1988)","DOI":"10.1109\/RELDIS.1988.25784"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30206-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T22:09:09Z","timestamp":1740866949000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30206-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231677","9783540302063"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30206-3_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}