{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:31:26Z","timestamp":1725492686895},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660934"},{"type":"electronic","value":"9783540487531"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48753-0_35","type":"book-chapter","created":{"date-parts":[[2007,10,10]],"date-time":"2007-10-10T09:58:29Z","timestamp":1192010309000},"page":"412-424","source":"Crossref","is-referenced-by-count":1,"title":["Fault Tolerance by Transparent Replication for Distributed Ada 95"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Wolf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alfred","family":"Strohmeier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,6,11]]},"reference":[{"key":"35_CR1","doi-asserted-by":"crossref","unstructured":"Barrett, P. A.; Hilborne, A. M.; Ver\u00edssimo, P. et al.: \u201cThe Delta-4 Extra Performance Architecture XPA\u201d, in Proceedings of the 20 th International Symposium on Fault-Tolerant Computing Systems (FTCS-20), pp. 481\u2013488, Newcastle upon Tyne, UK, June 1990.","DOI":"10.1109\/FTCS.1990.89386"},{"issue":"12","key":"35_CR2","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/163298.163303","volume":"36","author":"K. P. Birman","year":"1993","unstructured":"Birman, K. P.: \u201cThe Process Group Approach to Reliable Distributed Computing\u201d, Communications of the ACM 36(12), Dec. 1993, pp. 37\u201353.","journal-title":"Communications of the ACM"},{"issue":"1","key":"35_CR3","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/2080.357392","volume":"2","author":"A. D. Birrell","year":"1984","unstructured":"Birrell, A. D.; Nelson, B. J.: \u201cImplementing Remote Procedure Calls\u201d, ACM Transactions on Computer Systems 2(1), 1984, pp. 39\u201359.","journal-title":"ACM Transactions on Computer Systems"},{"key":"35_CR4","volume-title":"PhD Thesis","author":"E. N. Elnozahy","year":"1993","unstructured":"Elnozahy, E. N.: Manetho: Fault Tolerance in Distributed Systems using Rollback Recovery and Process Replication, PhD Thesis, Rice University, Houston TX, USA, Oct. 1993."},{"issue":"3","key":"35_CR5","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1145\/78969.78972","volume":"12","author":"M. P. Herlihy","year":"1990","unstructured":"Herlihy, M. P.; Wing, J. M.: \u201cLinearizability: A Correctness Criterion for Concurrent Objects\u201d, ACM Transactions on Programming Languages and Systems 12(3), July 1990, pp. 463\u2013492.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"35_CR6","series-title":"Lect Notes Comput Sci","volume-title":"International Standard ISO\/IEC 8652:1995(E): Ada Reference Manual","author":"ISO","year":"1997","unstructured":"ISO: International Standard ISO\/IEC 8652:1995(E): Ada Reference Manual, Lecture Notes in Computer Science 1246, Springer Verlag, 1997; ISO, 1995."},{"key":"35_CR7","doi-asserted-by":"crossref","unstructured":"Kermarrec, Y.; Pautet, L.; Tardieu, S.: \u201cGARLIC: Generic Ada Reusable Library for Interpartition Communication\u201d, in Proceedings of Tri-Ada\u2019 95, pp. 263\u2013269, Anaheim CA, USA, Nov. 1995.","DOI":"10.1145\/376503.376591"},{"key":"35_CR8","unstructured":"Malloth, C.; Felber, P.; Schiper, A.; Wilhelm, U.: \u201cPhoenix: A Toolkit for Building Fault-Tolerant, Distributed Applications in Large-Scale Network\u201d\u00f6, in Workshop on Parallel and Distributed Platforms in Industrial Products, San Antonio TX, USA, Oct. 1995."},{"key":"35_CR9","volume-title":"PhD Thesis MIT\/LCS\/TR-260","author":"J. E. B. Moss","year":"1981","unstructured":"Moss, J. E. B.: Nested Transactions: An Approach to Reliable Distributed Computing, PhD Thesis MIT\/LCS\/TR-260, MIT, Cambridge MA, USA, Apr. 1981."},{"key":"35_CR10","doi-asserted-by":"crossref","unstructured":"Powell, D. (Ed.): Delta-4: A Generic Architecture for Dependable Distributed Computing, volume 1 of ESPRIT Research Reports, Project 818\/2252-Delta-4, Springer Verlag, 1991.","DOI":"10.1007\/978-3-642-84696-0_1"},{"issue":"4","key":"35_CR11","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1145\/98163.98167","volume":"22","author":"F. B. Schneider","year":"1990","unstructured":"Schneider, F. B.: \u201cImplementing Fault-Tolerant Services using the State Machine Approach\u201d, ACM Computing Surveys 22(4), Dec. 1990, pp. 299\u2013319.","journal-title":"ACM Computing Surveys"},{"issue":"3","key":"35_CR12","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1145\/3959.3962","volume":"3","author":"R. E. Strom","year":"1985","unstructured":"Strom, R. E.; Yemini, S.: \u201cOptimistic Recovery in Distributed Systems\u201d, ACM Transactions on Computer Systems 3(3), Aug. 1985, pp. 204\u2013226.","journal-title":"ACM Transactions on Computer Systems"},{"key":"35_CR13","doi-asserted-by":"crossref","unstructured":"Wolf, T.: \u201cFault Tolerance in Distributed Ada 95\u201d, in Proceedings of the 8th International Real-Time Ada Workshop, pp. 106\u2013110, Ravenscar, UK, Apr. 1997, ACM Ada Letters XVII(5).","DOI":"10.1145\/271658.271721"},{"key":"35_CR14","volume-title":"PhD Thesis #1903","author":"T. Wolf","year":"1998","unstructured":"Wolf, T.: Replication of Non-Deterministic Objects, PhD Thesis #1903, Swiss Federal Institute of Technology, Lausanne, Switzerland, Nov. 1998."}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2014 Ada-Europe\u2019 99"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48753-0_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T13:59:03Z","timestamp":1556891943000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48753-0_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660934","9783540487531"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-48753-0_35","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}