{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:27:35Z","timestamp":1725456455032},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540613176"},{"type":"electronic","value":"9783540684572"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0013492","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T08:54:12Z","timestamp":1132736052000},"page":"235-246","source":"Crossref","is-referenced-by-count":8,"title":["Drago: An Ada extension to program fault-tolerant distributed applications"],"prefix":"10.1007","author":[{"given":"J.","family":"Miranda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Alvarez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Ar\u00e9valo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Guerra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"18_CR1","unstructured":"Arevalo, S. and Gehani N. H. 1989. Replica Consensus in Fault Tolerant Concurrent C. Technical Report AT&T Bell Laboratories, Murray Hill, New Jersey 07974."},{"key":"18_CR2","unstructured":"Arevalo, S., Alvarez, A., Miranda, J. and Guerra, F.: A Fault-tolerant Programming Language Based on Distributed Consensus, Cabernet'94 Workshop, Dublin (March 1994)"},{"key":"18_CR3","unstructured":"Birman, K., R. Cooper, T. Joseph, K. Marzullo, M. Makpangou, K. Kane, F. Schmuck, and M. Wood. The Isis System Manual. Version 2.1. September 1990."},{"key":"18_CR4","unstructured":"Courtel, N., PARADISE: Package of Asynchronous Real-Time Ada Drivers for Interconnected Systems Exchange, version 3,2. GNU (January 1993)."},{"key":"18_CR5","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5712.001.0001","volume-title":"A User's Guide and Tutorial for Networked Parallel Computing","author":"A. Geist","year":"1994","unstructured":"Geist, A. et al.: PVM: Parallel Virtual Machine; A User's Guide and Tutorial for Networked Parallel Computing. The MIT Press, Cambridge, Mass. (1994)"},{"key":"18_CR6","volume-title":"Using MPI: Portable Parallel Programming with the Message-Passing Interface","author":"W. Gropp","year":"1994","unstructured":"Gropp, W., Lusk, E., and Skjellum, A.: Using MPI: Portable Parallel Programming with the Message-Passing Interface. The MIT Press, Cambridge, Mass. (1994)"},{"key":"18_CR7","unstructured":"Guerra, F., Arevalo, S., Alvarez, A., and Miranda, J. A Distributed Consensus Protocol with a Coordinator. International Conference on Decentralized and Distributed Systems ICDDS'93. IFIP, Palma de Mallorca (Spain). September 1993."},{"key":"18_CR8","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0165-6074(93)90068-V","volume":"39","author":"F. Guerra","year":"1993","unstructured":"Guerra, F., Arevalo, S., Alvarez, A., and Miranda, J., A Quick Distributed Consensus Protocol. Microprocessing and Microprogramming 39 (1993) pp.111\u2013114.","journal-title":"Microprocessing and Microprogramming"},{"key":"18_CR9","unstructured":"Guerra, F. 1995. Efficient Consensus Protocols for Distributed Systems. Doctoral Dissertation. Technical University of Madrid. (In Spanish.)"},{"key":"18_CR10","volume-title":"Ada 95 Language Reference Manual","author":"Intermetrics, Inc.","year":"1995","unstructured":"Intermetrics, Inc. 1995. Ada 95 Language Reference Manual. Intermetrics, Inc., Cambridge, Mass. (January)."},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Liang, L., Chanson, S.T., and Neufeld, G.W.: Process Groups and Group Communications: Classification and Requirements. IEEE Computer. (February 1990)","DOI":"10.1109\/2.44904"},{"key":"18_CR12","unstructured":"Miranda, F. 1994. Drago: A Language to Program Fault-tolerant and Cooperative Distributed Applications. Doctoral Dissertation. Technical University of Madrid. (In Spanish.)"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Neumann, J. Probabilistic Logics and the Synthesis of Reliable Organisms from Unreliable Components. Automata Studies. Princeton University Press, 1956. pp. 43\u201398.","DOI":"10.1515\/9781400882618-003"},{"issue":"4","key":"18_CR14","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1145\/98163.98167","volume":"22","author":"Fred B. Schneider","year":"1990","unstructured":"Schneider, F.B. Implementing Fault-tolerant Services Using the State Machine Approach: A Tutorial. A CM Computing Surveys, 22(4), December 1990.","journal-title":"ACM Computing Surveys"},{"key":"18_CR15","unstructured":"Self, J. 1990. Aflex: An Ada Lexical Analyzer Generator V1.1. Arcadia Environment Research Project. Department of Information and Computer Science, University of California, Irvine, T.R. UCI-90-18 (May)."},{"key":"18_CR16","unstructured":"Taback, D., Tolani, D., and Schmalz, R. 1988. Agace V1.0. Department of Information and Computer Science, University of California, Irvine, T.R. UCI-88-16 (May)."}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2014 Ada-Europe '96"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0013492","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:45:23Z","timestamp":1586580323000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013492"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540613176","9783540684572"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0013492","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}