{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T06:10:16Z","timestamp":1737353416257,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540403760"},{"type":"electronic","value":"9783540449478"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44947-7_15","type":"book-chapter","created":{"date-parts":[[2007,8,8]],"date-time":"2007-08-08T06:04:46Z","timestamp":1186553086000},"page":"208-219","source":"Crossref","is-referenced-by-count":0,"title":["Transactions and Groups as Generic Building Blocks for Software Fault Tolerance"],"prefix":"10.1007","author":[{"given":"Marta","family":"Pati\u00f1o-Mart\u00ednez","sequence":"first","affiliation":[]},{"given":"Ricardo","family":"Jim\u00e9nez-Peris","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Romanovsky","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,18]]},"reference":[{"key":"15_CR1","unstructured":"Ada 95 Reference Manual, ISO\/8652-1995. Intermetrics, 1995."},{"issue":"12","key":"15_CR2","doi-asserted-by":"publisher","first-page":"1491","DOI":"10.1109\/TSE.1985.231893","volume":"11","author":"A. Avizienis","year":"1985","unstructured":"A. Avizienis. The n-version approach to fault-tolerant software. IEEE Transactions on Software Engineering, 11(12):1491\u20131501, 1985.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"15_CR3","volume-title":"Concurrency Control and Recovery in Database Systems","author":"P.A. Bernstein","year":"1987","unstructured":"P.A. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Database Systems. Addison Wesley, Reading, MA, 1987."},{"issue":"4","key":"15_CR4","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1145\/503112.503113","volume":"33","author":"G. V. Chockler","year":"2001","unstructured":"G. V. Chockler, I. Keidar, and R. Vitenberg. Group Communication Specifications: A Comprehensive Study. ACM Computer Surveys, 33(4):427\u2013469, December 2001.","journal-title":"ACM Computer Surveys"},{"key":"15_CR5","unstructured":"R. Friedman and R. van Renesse. Strong and Weak Virtual Synchrony in Horus. Technical Report TR95-1537, CS Dep., Cornell Univ., 1995."},{"key":"15_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1007\/3-540-63114-3_21","volume-title":"Proc. of Int. Conf. on Reliable Software Technologies","author":"F. Guerra","year":"1997","unstructured":"F. Guerra, J. Miranda, A. Alvarez, and S. Ar valo. An Ada Library to Program Fault-Tolerant Distributed Applications. In K. Hardy and J. Briggs, editors, Proc. of Int. Conf. on Reliable Software Technologies, volume LNCS 1251, pages 230\u2013243, London, United Kingdom, June 1997. Springer."},{"issue":"7","key":"15_CR7","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1109\/2.56851","volume":"23","author":"J. Laprie","year":"1990","unstructured":"J. Laprie, J. Arlat, C. Bounes, and K. Kanoun. Definition and Analysis of Hardware-and Software-Fault-Tolerant Architectures. IEEE Computer, 23(7):39\u201351, 1990.","journal-title":"IEEE Computer"},{"key":"15_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/BFb0013492","volume-title":"Proc. of Int. Conf. on Reliable Software Technologies","author":"J. Miranda","year":"1996","unstructured":"J. Miranda, A. Alvarez, S. Ar valo, and F. Guerra. Drago: An Ada Extension to Program Fault-tolerant Distributed Applications. In A. Strohmeier, editor, Proc. of Int. Conf. on Reliable Software Technologies, volume LNCS 1088, pages 235\u2013246, Montreaux, Switzerland, June 1996. Springer."},{"key":"15_CR9","unstructured":"OMG. Fault Tolerant CORBA. Object Management Group, 2000."},{"key":"15_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/BFb0054996","volume-title":"Proc. of Int. Conf. on Reliable Software Technologies","author":"M. Pati o-Martnez","year":"1998","unstructured":"M. Pati o-Mart nez, R. Jim nez-Peris, and S. Ar valo. Integrating Groups and Transactions: A Fault-Tolerant Extension of Ada. In L. Asplund, editor, Proc. of Int. Conf. on Reliable Software Technologies, volume LNCS 1411, pages 78\u201389, Uppsala, Sweden, June 1998. Springer."},{"key":"15_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/3-540-45407-1_10","volume-title":"Advances in Exception Handling","author":"M. Pati o-Martnez","year":"2001","unstructured":"M. Pati o-Mart nez, R. Jim nez-Peris, and S. Ar valo. Exception Handling in Transactional Object Groups. In Advances in Exception Handling, LNCS-2022, pages 165\u2013180. Springer, 2001."},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"M. Pati o-Mart nez, R. Jim nez-Peris, and S. Ar valo. Group Transactions: An Integrated Approach to Transactions and Group Communication. In Concurrency in Dependable Computing, pages 253\u2013272. Kluwer, 2002.","DOI":"10.1007\/978-1-4757-3573-4_13"},{"key":"15_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/3-540-48046-3_24","volume-title":"Proc. of Int. Conf. on Reliable Software Technologies","author":"M. Pati o-Martnez","year":"2002","unstructured":"M. Pati o-Mart nez, R. Jim nez-Peris, J. Kienzle, and S. Ar valo. Concurrency Control in Transactional Drago. In Proc. of Int. Conf. on Reliable Software Technologies, LNCS-2361, pages 309\u2013320, Vienna, Austria, June 2002. Springer."},{"issue":"2","key":"15_CR14","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1109\/TSE.1975.6312842","volume":"1","author":"B. Randell","year":"1975","unstructured":"B. Randell. System Structure for Software Fault Tolerance. IEEE Transactions on Software Engineering, 1(2):220\u2013232, 1975.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"A. Romanovsky. An Exception Handling Framework for N-Version programming in Object-Oriented Systems. In Proc. of the 3rd IEEE Int. Symp. on Object-oriented Real-time Distributed Computing (ISORC\u20192000), pages 226\u2013233, Newport Beach, USA, March 2000. IEEE Computer Society Press.","DOI":"10.1109\/ISORC.2000.839534"},{"issue":"3","key":"15_CR16","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1049\/ip-sen:20000679","volume":"147","author":"A. Romanovsky","year":"2000","unstructured":"A. Romanovsky. Faulty Version Recovery in Object-Oriented Programming. IEE Proceedings-Software, 147(3):81\u201390, 2000.","journal-title":"IEE Proceedings-Software"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"A. Romanovsky and L. Strigini. Backward error recovery via conversations in Ada. Software Engineering Journal, pages 219\u2013232, November 1995.","DOI":"10.1049\/sej.1995.0027"},{"key":"15_CR18","unstructured":"K.S. Tso and A. Avizienis. Community error recovery in N-version software: a design study with experimentation. In Proc. of 17th IEEE FTCS, pages 127\u2013133, Pittsburgh, PA, 1987."}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2014 Ada-Europe 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44947-7_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T05:33:36Z","timestamp":1737351216000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44947-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403760","9783540449478"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-44947-7_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}