{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T23:37:11Z","timestamp":1767137831818,"version":"build-2238731810"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319051185","type":"print"},{"value":"9783319051192","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-05119-2_14","type":"book-chapter","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T04:36:28Z","timestamp":1394166988000},"page":"235-253","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Formal Model for the Deferred Update Replication Technique"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Corradini","sequence":"first","affiliation":[]},{"given":"Leila","family":"Ribeiro","sequence":"additional","affiliation":[]},{"given":"Fernando","family":"Dotti","sequence":"additional","affiliation":[]},{"given":"Odorico","family":"Mendizabal","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,3,8]]},"reference":[{"issue":"4","key":"14_CR1","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s00236-009-0097-4","volume":"46","author":"JE Armend\u00e1riz-I\u00f1igo","year":"2009","unstructured":"Armend\u00e1riz-I\u00f1igo, J.E., de Mend\u00edvil, J.R.G., Garitagoitia, J.R., Mu\u00f1oz-Esco\u00ed, F.D.: Correctness proof of a database replication protocol under the perspective of the I\/O automaton model. Acta Inf. 46(4), 297\u2013330 (2009)","journal-title":"Acta Inf."},{"issue":"1","key":"14_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.2001.3060","volume":"171","author":"P Baldan","year":"2001","unstructured":"Baldan, P., Corradini, A., Montanari, U.: Contextual Petri Nets, asymmetric event structures and processes. Inf. Comput. 171(1), 1\u201349 (2001)","journal-title":"Inf. Comput."},{"key":"14_CR3","unstructured":"Bernstein, P.A., Hadzilacos, V., Goodman, N.: Concurrency Control and Recovery in Database Systems. Addison-Wesley, San Diego (1987)"},{"issue":"1","key":"14_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/69.755610","volume":"11","author":"BK Bhargava","year":"1999","unstructured":"Bhargava, B.K.: Concurrency control in database systems. IEEE Trans. Knowl. Data Eng. 11(1), 3\u201316 (1999)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"14_CR5","first-page":"199","volume":"2","author":"N Budhiraja","year":"1993","unstructured":"Budhiraja, N., Marzullo, K., Schneider, F.B., Toueg, S.: The primary-backup approach. Distrib. Syst. 2, 199\u2013216 (1993)","journal-title":"Distrib. Syst."},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Garcia, R., Rodrigues, R., Pregui\u00e7a, N.M.: Efficient middleware for byzantine fault tolerant database replication. In: Kirsch, C.M., Heiser, G. (eds.) EuroSys, pp. 107\u2013122. ACM (2011)","DOI":"10.1145\/1966445.1966456"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Gray, J., Helland, P., O\u2019Neil, P.E., Shasha, D.: The dangers of replication and a solution. In: Jagadish, H.V., Mumick, I.S. (eds.) SIGMOD Conference. pp. 173\u2013182, ACM Press (1996)","DOI":"10.1145\/235968.233330"},{"issue":"3","key":"14_CR8","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1145\/363951.363955","volume":"25","author":"B Kemme","year":"2000","unstructured":"Kemme, B., Alonso, G.: A new approach to developing and implementing eager database replication protocols. ACM Trans. Datab. Syst. 25(3), 333\u2013379 (2000)","journal-title":"ACM Trans. Datab. Syst."},{"issue":"2","key":"14_CR9","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/319566.319567","volume":"6","author":"HT Kung","year":"1981","unstructured":"Kung, H.T., Robinson, J.T.: On optimistic methods for concurrency control. ACM Trans. Datab. Syst. (TODS) 6(2), 213\u2013226 (1981)","journal-title":"ACM Trans. Datab. Syst. (TODS)"},{"issue":"1","key":"14_CR10","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, event structures and domains, part I. Theor. Comput. Sci. 13(1), 85\u2013108 (1981)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"14_CR11","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1145\/322154.322158","volume":"26","author":"CH Papadimitriou","year":"1979","unstructured":"Papadimitriou, C.H.: The serializability of concurrent database updates. J. ACM 26(4), 631\u2013653 (1979)","journal-title":"J. ACM"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Pedone, F., Guerraoui, R., Schiper, A.: Transaction reordering in replicated databases. In: 16th IEEE Symposium on Reliable Distributed Systems (SRDS),\u00a0pp. 175\u2013182. IEEE (1997)","DOI":"10.1109\/RELDIS.1997.632813"},{"key":"14_CR13","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s13173-012-0060-z","volume":"18","author":"F Pedone","year":"2012","unstructured":"Pedone, F., Schiper, N.: Byzantine fault-tolerant deferred update replication. J. Brazil. Comput. Soc. 18, 3\u201318 (2012)","journal-title":"J. Brazil. Comput. Soc."},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Schmidt, R., Pedone, F.: A Formal Analysis of the Deferred Update Technique. In: Tovar, E., Tsigas, P., Fouchal, H. (eds.) OPODIS. LNCS, vol. 4878, pp. 16\u201330. Springer, Heidelberg (2007)","DOI":"10.1007\/978-3-540-77096-1_2"},{"issue":"4","key":"14_CR15","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1145\/98163.98167","volume":"22","author":"FB Schneider","year":"1990","unstructured":"Schneider, F.B.: Implementing fault-tolerant services using the state machine approach: A tutorial. ACM Comput. Surv. (CSUR) 22(4), 299\u2013319 (1990)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Sciascia, D., Pedone, F.: RAM-DUR: In-memory deferred update replication. In: 31st IEEE Symposium on Reliable Distributed Systems (SRDS), pp. 81\u201390. IEEE (2012)","DOI":"10.1109\/SRDS.2012.56"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Sciascia, D., Pedone, F., Junqueira, F.: Scalable deferred update replication. In: 42nd Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 1\u201312. IEEE (2012)","DOI":"10.1109\/DSN.2012.6263931"}],"container-title":["Lecture Notes in Computer Science","Trustworthy Global Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05119-2_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T20:35:56Z","timestamp":1746131756000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-05119-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319051185","9783319051192"],"references-count":17,"aliases":["10.1007\/978-3-319-14128-2_14"],"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05119-2_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"8 March 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}