{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T05:18:29Z","timestamp":1740806309154,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642169540"},{"type":"electronic","value":"9783642169557"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16955-7_19","type":"book-chapter","created":{"date-parts":[[2010,11,26]],"date-time":"2010-11-26T07:40:48Z","timestamp":1290757248000},"page":"376-396","source":"Crossref","is-referenced-by-count":8,"title":["Asynchronous Lease-Based Replication of Software Transactional Memory"],"prefix":"10.1007","author":[{"given":"Nuno","family":"Carvalho","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Romano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lu\u00eds","family":"Rodrigues","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1145\/1294261.1294278","volume-title":"Proc. of the 21st ACM SIGOPS Symposium on Operating Systems Principles","author":"M.K. Aguilera","year":"2007","unstructured":"Aguilera, M.K., Merchant, A., Shah, M., Veitch, A., Karamanolis, C.: Sinfonia: a new paradigm for building scalable distributed systems. In: Proc. of the 21st ACM SIGOPS Symposium on Operating Systems Principles, pp. 159\u2013174. ACM, New York (2007)"},{"key":"19_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/978-3-540-69501-1_21","volume-title":"Algorithms and Architectures for Parallel Processing","author":"M. Ansari","year":"2008","unstructured":"Ansari, M., Kotselidis, C., Watson, I., Kirkham, C.C., Lujin, M., Jarvis, K.: Lee-tm: A non-trivial benchmark suite for transactional memory. In: Bourgeois, A.G., Zheng, S.Q. (eds.) ICA3PP 2008. LNCS, vol.\u00a05022, pp. 196\u2013207. Springer, Heidelberg (2008)"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Bartoli, A., Babaoglu, O.: Selecting a \u201cprimary partition\u201d in partitionable asynchronous distributed systems. In: IEEE Symp. on Reliable Dist. Systems, p. 138 (1997)","DOI":"10.1109\/RELDIS.1997.632809"},{"key":"19_CR4","volume-title":"Concurrency Control and Recovery in Database Systems","author":"P.A. Bernstein","year":"1987","unstructured":"Bernstein, P.A., Hadzilacos, V., Goodman, N.: Concurrency Control and Recovery in Database Systems. Addison-Wesley, Reading (1987)"},{"key":"19_CR5","first-page":"247","volume-title":"Proc. of the Symposium on Principles and Practice of Parallel Programming (PPOPP)","author":"R.L. Bocchino","year":"2008","unstructured":"Bocchino, R.L., Adve, V.S., Chamberlain, B.L.: Software transactional memory for large scale clusters. In: Proc. of the Symposium on Principles and Practice of Parallel Programming (PPOPP), pp. 247\u2013258. ACM, New York (2008)"},{"key":"19_CR6","first-page":"180","volume-title":"Proc. of the The International Workshop on Object-Oriented Real-Time Dependable Systems","author":"R. Boichat","year":"2002","unstructured":"Boichat, R., Dutta, P., Guerraoui, R.: Asynchronous leasing. In: Proc. of the The International Workshop on Object-Oriented Real-Time Dependable Systems, p. 180. IEEE Computer Society, Washington (2002)"},{"key":"19_CR7","unstructured":"Cachopo, J.: Development of Rich Domain Models with Atomic Actions. Ph.D. thesis, Technical University of Lisbon (2007)"},{"issue":"2","key":"19_CR8","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1016\/j.scico.2006.05.009","volume":"63","author":"J. Cachopo","year":"2006","unstructured":"Cachopo, J., Rito-Silva, A.: Versioned boxes as the basis for memory transactions. Sci. Comput. Program.\u00a063(2), 172\u2013185 (2006)","journal-title":"Sci. Comput. Program."},{"key":"19_CR9","unstructured":"Cecchet, E., Marguerite, J., Zwaenepole, W.: C-JDBC: flexible database clustering middleware. In: Proc. of the USENIX Annual Technical Conference, p. 26. USENIX Association (2004)"},{"issue":"4","key":"19_CR10","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1145\/503112.503113","volume":"33","author":"G.V. Chockler","year":"2001","unstructured":"Chockler, G.V., Keidar, I., Vitenberg, R.: Group communication specifications: a comprehensive study. ACM Comput. Surv.\u00a033(4), 427\u2013469 (2001)","journal-title":"ACM Comput. Surv."},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Couceiro, M., Romano, P., Carvalho, N., Rodrigues, L.: D2STM: Dependable Distributed Software Transactional Memory. In: Proc. of the 15th Pacific Rim Int. Symposium on Dependable Computing, PRDC (2009)","DOI":"10.1109\/PRDC.2009.55"},{"issue":"4","key":"19_CR12","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1145\/1041680.1041682","volume":"36","author":"X. Defago","year":"2004","unstructured":"Defago, X., Schiper, A., Urban, P.: Total order broadcast and multicast algorithms: Taxonomy and survey. ACM Computing Surveys\u00a036(4), 372\u2013421 (2004)","journal-title":"ACM Computing Surveys"},{"issue":"5","key":"19_CR13","doi-asserted-by":"publisher","first-page":"1266","DOI":"10.1109\/TKDE.2003.1232277","volume":"15","author":"V. Duvvuri","year":"2003","unstructured":"Duvvuri, V., Shenoy, P., Tewari, R.: Adaptive leases: A strong consistency mechanism for the world wide web. IEEE Transactions on Knowledge and Data Engineering\u00a015(5), 1266\u20131276 (2003)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"19_CR14","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1145\/74850.74870","volume-title":"Proc. of the Symposium on Operating Systems Principles (SOSP)","author":"C. Gray","year":"1989","unstructured":"Gray, C., Cheriton, D.: Leases: an efficient fault-tolerant mechanism for distributed file cache consistency. In: Proc. of the Symposium on Operating Systems Principles (SOSP), pp. 202\u2013210. ACM, New York (1989)"},{"key":"19_CR15","first-page":"173","volume-title":"Proc. of the Conference on the Management of Data (SIGMOD)","author":"J. Gray","year":"1996","unstructured":"Gray, J., Helland, P., O\u2019Neil, P., Shasha, D.: The dangers of replication and a solution. In: Proc. of the Conference on the Management of Data (SIGMOD), pp. 173\u2013182. ACM, New York (1996)"},{"key":"19_CR16","first-page":"175","volume-title":"PPoPP 2008: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","author":"R. Guerraoui","year":"2008","unstructured":"Guerraoui, R., Kapalka, M.: On the correctness of transactional memory. In: PPoPP 2008: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 175\u2013184. ACM, New York (2008)"},{"issue":"3","key":"19_CR17","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1145\/1272998.1273029","volume":"41","author":"R. Guerraoui","year":"2007","unstructured":"Guerraoui, R., Kapalka, M., Vitek, J.: STMBench7: a benchmark for software transactional memory. SIGOPS Oper. Syst. Rev.\u00a041(3), 315\u2013324 (2007)","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"19_CR18","volume-title":"Introduction to Reliable Distributed Programming","author":"R. Guerraoui","year":"2006","unstructured":"Guerraoui, R., Rodrigues, L.: Introduction to Reliable Distributed Programming. Springer, Heidelberg (2006)"},{"issue":"10","key":"19_CR19","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1145\/1167515.1167495","volume":"41","author":"M. Herlihy","year":"2006","unstructured":"Herlihy, M., Luchangco, V., Moir, M.: A flexible framework for implementing software transactional memory. SIGPLAN Not.\u00a041(10), 253\u2013262 (2006)","journal-title":"SIGPLAN Not."},{"key":"19_CR20","first-page":"150","volume-title":"Proc. of the 21st IEEE Symp. on Reliable Distributed Systems (SRDS)","author":"R. Jim\u00e9nez-Peris","year":"2002","unstructured":"Jim\u00e9nez-Peris, R., Pati\u00f1o-Mart\u00ednez, M., Alonso, G.: Non-intrusive, parallel recovery of replicated data. In: Proc. of the 21st IEEE Symp. on Reliable Distributed Systems (SRDS), p. 150. IEEE Computer Society, Washington (2002)"},{"key":"19_CR21","first-page":"13","volume-title":"Proceedings of the 19th Int. Symp. on Computer Architecture (ISCA)","author":"P. Keleher","year":"1992","unstructured":"Keleher, P., Cox, A.L., Zwaenepoel, W.: Lazy release consistency for software distributed shared memory. In: Proceedings of the 19th Int. Symp. on Computer Architecture (ISCA), pp. 13\u201321. ACM, New York (1992)"},{"key":"19_CR22","first-page":"424","volume-title":"Proc. of the 19th IEEE International Conference on Distributed Computing Systems","author":"B. Kemme","year":"1999","unstructured":"Kemme, B., Pedone, F., Alonso, G., Schiper, A.: Processing transactions over optimistic atomic broadcast protocols. In: Proc. of the 19th IEEE International Conference on Distributed Computing Systems, p. 424. IEEE Computer Society, Los Alamitos (1999)"},{"key":"19_CR23","first-page":"156","volume-title":"Proc. of the International Conference on Distributed Computing Systems (ICDCS)","author":"B. Kemme","year":"1998","unstructured":"Kemme, B., Alonso, G.: A suite of database replication protocols based on group communication primitives. In: Proc. of the International Conference on Distributed Computing Systems (ICDCS), p. 156. IEEE Computer Society, Los Alamitos (1998)"},{"key":"19_CR24","doi-asserted-by":"crossref","unstructured":"Kotselidis, C., Ansari, M., Jarvis, K., Lujan, M., Kirkham, C., Watson, I.: DiSTM: A software transactional memory framework for clusters. In: Proc. of the International Conference on Parallel Processing (ICPP), pp. 51\u201358 (2008)","DOI":"10.1109\/ICPP.2008.59"},{"issue":"7","key":"19_CR25","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. ACM Commun.\u00a021(7), 558\u2013565 (1978)","journal-title":"ACM Commun."},{"key":"19_CR26","first-page":"229","volume-title":"Proc. of the Symp. on Principles of Distributed Computing","author":"K. Li","year":"1986","unstructured":"Li, K., Hudak, P.: Memory coherence in shared virtual memory systems. In: Proc. of the Symp. on Principles of Distributed Computing, pp. 229\u2013239. ACM, New York (1986)"},{"key":"19_CR27","first-page":"198","volume-title":"Proc. of the Symposium on Principles and Practice of Parallel Programming (PPOPP)","author":"K. Manassiev","year":"2006","unstructured":"Manassiev, K., Mihailescu, M., Amza, C.: Exploiting distributed version concurrency in a transactional memory cluster. In: Proc. of the Symposium on Principles and Practice of Parallel Programming (PPOPP), pp. 198\u2013208. ACM, New York (2006)"},{"key":"19_CR28","doi-asserted-by":"crossref","unstructured":"Martin, M., Blundell, C., Lewis, E.: Subtleties of transactional memory atomicity semantics. IEEE Comput. Archit. Lett. 5(2), 17 (2006)","DOI":"10.1109\/L-CA.2006.18"},{"key":"19_CR29","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1109\/ICDSC.2001.919005","volume-title":"Proc. International Conference on Distributed Computing Systems (ICDCS)","author":"H. Miranda","year":"2001","unstructured":"Miranda, H., Pinto, A., Rodrigues, L.: Appia, a flexible protocol kernel supporting multiple coordinated channels. In: Proc. International Conference on Distributed Computing Systems (ICDCS), pp. 707\u2013710. IEEE, Los Alamitos (2001)"},{"key":"19_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/3-540-40026-5_21","volume-title":"Distributed Computing","author":"M. Patino-Mart\u00ednez","year":"2000","unstructured":"Patino-Mart\u00ednez, M., Jim\u00e9nez-Peris, R., Kemme, B., Alonso, G.: Scalable replication in database clusters. In: Herlihy, M.P. (ed.) DISC 2000. LNCS, vol.\u00a01914, pp. 315\u2013329. Springer, Heidelberg (2000)"},{"issue":"1","key":"19_CR31","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1023\/A:1022887812188","volume":"14","author":"F. Pedone","year":"2003","unstructured":"Pedone, F., Guerraoui, R., Schiper, A.: The database state machine approach. Distributed and Parallel Databases\u00a014(1), 71\u201398 (2003)","journal-title":"Distributed and Parallel Databases"},{"key":"19_CR32","doi-asserted-by":"crossref","unstructured":"Romano, P., Carvalho, N., Rodrigues, L.: Towards distributed software transactional memory systems. In: Proc. of the Workshop on Large-Scale Distributed Systems and Middleware, LADIS (2008)","DOI":"10.1145\/1529974.1529980"},{"key":"19_CR33","doi-asserted-by":"crossref","unstructured":"Romano, P., Carvalho, N.M.R., Couceiro, M., Rodrigues, L., Cachopo, J.: Towards the integration of distributed transactional memories in application servers\u2019 clusters. In: The 3rd Int. Workshop on Advanced Architectures and Algorithms for Internet DElivery and Applications, ICST. Springer, Las Palmas (2009)","DOI":"10.1007\/978-3-642-10625-5_48"},{"key":"19_CR34","doi-asserted-by":"crossref","unstructured":"Vicente, P., Rodrigues, L.: An indulgent uniform total order algorithm with optimistic delivery. In: Proc. of the Symposium on Reliable Distributed Systems (SRDS), pp. 92\u2013101 (2002)","DOI":"10.1109\/RELDIS.2002.1180177"}],"container-title":["Lecture Notes in Computer Science","Middleware 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16955-7_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T06:41:29Z","timestamp":1740724889000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16955-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642169540","9783642169557"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16955-7_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}