{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,12]],"date-time":"2026-11-12T19:34:59Z","timestamp":1794512099753,"version":"4.9.1"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319278094","type":"print"},{"value":"9783319278100","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,12,25]],"date-time":"2015-12-25T00:00:00Z","timestamp":1451001600000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-27810-0_12","type":"book-chapter","created":{"date-parts":[[2015,12,24]],"date-time":"2015-12-24T02:38:33Z","timestamp":1450924713000},"page":"236-251","source":"Crossref","is-referenced-by-count":1,"title":["Replicating Data for Better Performances in X10"],"prefix":"10.1007","author":[{"given":"Marina","family":"Andri\u0107","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rocco","family":"De Nicola","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alberto","family":"Lluch Lafuente","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2015,12,25]]},"reference":[{"key":"12_CR1","first-page":"3","volume-title":"Lecture Notes in Computer Science","author":"Marina Andri\u0107","year":"2015","unstructured":"Andri\u0107, M., De Nicola, R., Lluch Lafuente, A.: Replica-based high-performance tuple space computing. In: Holvoet, T., Viroli, M. (eds.) Coordination Models and Languages. LNCS, vol. 9037, pp. 3\u201318. Springer, Heidelberg (2015)"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Bouajjani, A., Enea, C., Hamza, J.: Verifying eventual consistency of optimistic replication systems. In: Jagannathan, S., Sewell, P., (eds.) Proceedings of the 41st Annual ACM, POPL 2014, pp. 285\u2013296. ACM (2014)","DOI":"10.1145\/2535838.2535877"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Cogumbreiro, T., Hu, R., Martins, F., Yoshida, N.: Dynamic deadlock verification for general barrier synchronisation. In: Cohen, A., Grove, D., (eds.) Proceedings of the 20th ACM Symposium on Principles and Practice of Parallel Programming, PPoPP 2015, pp. 150\u2013160. ACM (2015)","DOI":"10.1145\/2688500.2688519"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Crafa, S., Cunningham, D., Saraswat, V.A., Shinnar, A., Tardieu, O.: Semantics of (resilient) X10. CoRR, abs\/1312.3739 (2013)","DOI":"10.1007\/978-3-662-44202-9_27"},{"issue":"5","key":"12_CR5","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R Nicola De","year":"1998","unstructured":"De Nicola, R., Ferrari, G., Pugliese, R.: KLAIM: a kernel language for agents interaction and mobility. IEEE Trans. Softw. Eng. 24(5), 315\u2013330 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-0-387-34984-8_15","volume-title":"Software Engineering for Parallel and Distributed Systems","author":"SA Dobson","year":"1996","unstructured":"Dobson, S.A., Wadsworth, C.P.: Towards a theory of shared data in distributed systems. In: Jelly, I., Gorton, I., Croll, P.R. (eds.) Software Engineering for Parallel and Distributed Systems, pp. 170\u2013182. Chapman & Hall, Boca Raton (1996)"},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-11294-2_1","volume-title":"Replication: Theory and Practice","author":"AD Fekete","year":"2010","unstructured":"Fekete, A.D., Ramamritham, K.: Consistency models for replicated data. In: Charron-Bost, B., Pedone, F., Schiper, A. (eds.) Replication: Theory and Practice. LNCS, vol. 5959, pp. 1\u201317. Springer, Heidelberg (2010)"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Gligoric, M., Mehlitz, P.C., Marinov, D.: X10X: model checking a new programming language with an \u201cold\u201d model checker. In: Antoniol, G., Bertolino, A., Labiche, Y., (eds.) 2012 IEEE Fifth International Conference, pp. 11\u201320. IEEE Computer Society (2012)","DOI":"10.1109\/ICST.2012.81"},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1006\/jpdc.1998.1427","volume":"49","author":"D Goodeve","year":"1998","unstructured":"Goodeve, D., Dobson, S., Nash, J., Davy, J., Dew, P., Kara, M., Wadsworth, C.P.: Towards a model for shared data abstraction with performance. J. Parallel Distrib. Comput. 49, 156\u2013167 (1998)","journal-title":"J. Parallel Distrib. Comput."},{"key":"12_CR10","unstructured":"Google-Storage: (2015) Web site: \n                    https:\/\/cloud.google.com\/storage\/"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jpdc.2014.10.010","volume":"75","author":"S Gupta","year":"2015","unstructured":"Gupta, S., Nandivada, V.K.: Imsuite: a benchmark suite for simulating distributed algorithms. J. Parallel Distrib. Comput. 75, 1\u201319 (2015)","journal-title":"J. Parallel Distrib. Comput."},{"key":"12_CR12","unstructured":"IBM: (2015) Web site for X10: \n                    http:\/\/x10-lang.org\/x10-community\/publications-using-x10.html"},{"key":"12_CR13","unstructured":"Imam, S., Sarkar, V.: A case for cooperative scheduling in X10s managed runtime. In: The 2014 X10 Workshop, X10 2014, June 2014"},{"issue":"10","key":"12_CR14","doi-asserted-by":"crossref","first-page":"617","DOI":"10.1145\/2714064.2660218","volume":"49","author":"Vineet Kumar","year":"2014","unstructured":"Kumar, V., Hendren, L.J.: MIX10: compiling MATLAB to X10 for high performance. In: Black, A.P., Millstein, T.D., (eds.) Proceedings of the 2014 ACM International Conference, OOPSLA 2014, pp. 617\u2013636. ACM (2014)","journal-title":"ACM SIGPLAN Notices"},{"issue":"5","key":"12_CR15","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1145\/1837853.1693459","volume":"45","author":"Jonathan K. Lee","year":"2010","unstructured":"Lee, J.K., Palsberg, J.: Featherweight X10: a core calculus for async-finish parallelism. In: Govindarajan, R., Padua, D.A., Hall, M.W., (eds.) Proceedings of the 15th ACM SIGPLAN, pp. 25\u201336. ACM (2010)","journal-title":"ACM SIGPLAN Notices"},{"key":"12_CR16","unstructured":"Open-MPI: (2015) Web site for MPI: \n                    http:\/\/www.open-mpi.org\/"},{"key":"12_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/11539452_28","volume-title":"CONCUR 2005 \u2013 Concurrency Theory","author":"VA Saraswat","year":"2005","unstructured":"Saraswat, V.A., Jagadeesan, R.: Concurrent clustered programming. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol. 3653, pp. 353\u2013367. Springer, Heidelberg (2005)"},{"issue":"11\u201313","key":"12_CR18","doi-asserted-by":"publisher","first-page":"825","DOI":"10.1002\/(SICI)1096-9128(199809\/11)10:11\/13<825::AID-CPE383>3.0.CO;2-H","volume":"10","author":"KA Yelick","year":"1998","unstructured":"Yelick, K.A., Semenzato, L., Pike, G., Miyamot, C., Liblit, B., Krishnamurthy, A., Hilfinger, P.N., Graham, S.L., Gay, D., Colella, P., Aiken, A.: Titanium: a high-performance java dialect. Concurrency Pract. Experience 10(11\u201313), 825\u2013836 (1998)","journal-title":"Concurrency Pract. Experience"}],"container-title":["Lecture Notes in Computer Science","Semantics, Logics, and Calculi"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-27810-0_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T01:03:40Z","timestamp":1559351020000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-27810-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12,25]]},"ISBN":["9783319278094","9783319278100"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-27810-0_12","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-319-27810-0","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,12,25]]}}}