{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:27:35Z","timestamp":1726410455977},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662451731"},{"type":"electronic","value":"9783662451748"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45174-8_25","type":"book-chapter","created":{"date-parts":[[2014,9,29]],"date-time":"2014-09-29T15:28:20Z","timestamp":1412004500000},"page":"361-375","source":"Crossref","is-referenced-by-count":0,"title":["Making Sense of Relativistic Distributed Systems"],"prefix":"10.1007","author":[{"given":"Seth","family":"Gilbert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wojciech","family":"Golab","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Mars One, http:\/\/www.mars-one.com\/"},{"issue":"1","key":"25_CR2","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/BF01784241","volume":"9","author":"M. Ahamad","year":"1995","unstructured":"Ahamad, M., Neiger, G., Burns, J.E., Kohli, P., Hutto, P.W.: Causal memory: Definitions, implementation, and programming. Distr. Comp.\u00a09(1), 37\u201349 (1995)","journal-title":"Distr. Comp."},{"issue":"1","key":"25_CR3","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1145\/200836.200869","volume":"42","author":"H. Attiya","year":"1995","unstructured":"Attiya, H., Bar-Noy, A., Dolev, D.: Sharing memory robustly in message-passing systems. J. ACM\u00a042(1), 124\u2013142 (1995)","journal-title":"J. ACM"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Bailis, P., Fekete, A., Ghodsi, A., Hellerstein, J.M., Stoica, I.: The potential dangers of causal consistency and an explicit solution. In: Proc. of the 5th ACM Symposium on Cloud Computing (2012)","DOI":"10.1145\/2391229.2391251"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Brewer, E.A.: Towards robust distributed systems (Invited Talk). In: Proc. of the 19th Symposium on Principles of Distributed Computing (2000)","DOI":"10.1145\/343477.343502"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Burckhardt, S., Gotsman, A., Yang, H.: Understanding eventual consistency. Microsoft Research Technical Report MSR-TR-2013-39 (2013)","DOI":"10.1561\/9781601988591"},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"De Candia, G., Hastorun, D., Jampani, M., Kakulapati, G., Lakshman, A., Pilchin, A., Sivasubramanian, S., Vosshall, P., Vogels, W.: Dynamo: Amazon\u2019s highly available key-value store. In: Proc. of the 21st ACM Symposium on Operating Systems Principles (2007)","DOI":"10.1145\/1294261.1294281"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Einstein, A.: The Meaning of Relativity, 6th edn. Taylor & Francis (2003)","DOI":"10.4324\/9780203449530"},{"issue":"4","key":"25_CR9","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/S0020-0190(02)00498-2","volume":"86","author":"R. Friedman","year":"2003","unstructured":"Friedman, R., Vitenberg, R., Chockler, G.: On the composability of consistency conditions. Inf. Process. Lett.\u00a086(4), 169\u2013176 (2003)","journal-title":"Inf. Process. Lett."},{"issue":"2","key":"25_CR10","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/s00446-011-0150-8","volume":"25","author":"W. Golab","year":"2012","unstructured":"Golab, W., Hadzilacos, V., Hendler, D., Woelfel, P.: RMR-efficient implementations of comparison primitives using read and write operations. Distr. Comp.\u00a025(2), 109\u2013162 (2012)","journal-title":"Distr. Comp."},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"Golab, W., Higham, L., Woelfel, P.: Linearizable implementations do not suffice for randomized distributed computation. In: Proc. of the 43rd ACM Symposium on Theory of Computing, pp. 373\u2013382 (2011)","DOI":"10.1145\/1993636.1993687"},{"key":"25_CR12","unstructured":"Hay, J.Z.Y.: Using local time to reconstruct memory models for parallel computation. Final year project. National University of Singapore (2012)"},{"key":"25_CR13","unstructured":"Hay, J.Z.Y., Tay, Y.C.: Memory consistency for parallel systems: A reformulation without global time (keynote address). In: Proc. National Conference on High Performance Computing & Simulation (2013)"},{"issue":"3","key":"25_CR14","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1145\/78969.78972","volume":"12","author":"M. Herlihy","year":"1990","unstructured":"Herlihy, M., Wing, J.M.: Linearizability: A correctness condition for concurrent objects. ACM TOPLAS\u00a012(3), 463\u2013492 (1990)","journal-title":"ACM TOPLAS"},{"key":"25_CR15","unstructured":"Jackson, J.: The interplanetary internet. IEEE Spectrum (2005)"},{"issue":"2","key":"25_CR16","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF01786227","volume":"1","author":"L. Lamport","year":"1986","unstructured":"Lamport, L.: On interprocess communication, Part I: Basic formalism and Part II: Algorithms. Distributed Computing\u00a01(2), 77\u2013101 (1986)","journal-title":"Distributed Computing"},{"issue":"7","key":"25_CR17","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. Commun. ACM\u00a021(7), 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"issue":"2","key":"25_CR18","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/279227.279229","volume":"16","author":"L. Lamport","year":"1998","unstructured":"Lamport, L.: The part-time parliament. ACM Trans. Comput. Syst.\u00a016(2), 133\u2013169 (1998)","journal-title":"ACM Trans. Comput. Syst."},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"Lloyd, W., Freedman, M.J., Kaminsky, M., Andersen, D.G.: Don\u2019t settle for eventual: scalable causal consistency for wide-area storage with COPS. In: Proc. 23rd ACM Symposium on Operating Systems Principles, pp. 401\u2013416 (2011)","DOI":"10.1145\/2043556.2043593"},{"issue":"2","key":"25_CR20","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/564585.564601","volume":"33","author":"N. Lynch","year":"2002","unstructured":"Lynch, N., Gilbert, S.: Brewer\u2019s conjecture and the feasibility of consistent, available, partition-tolerant web services. ACM SIGACT News\u00a033(2), 51\u201359 (2002)","journal-title":"ACM SIGACT News"},{"issue":"4","key":"25_CR21","first-page":"12","volume":"21","author":"D. Terry","year":"1998","unstructured":"Terry, D., Petersen, K., Spreitzer, M., Theimer, M.: The case for non-transparent replication: Examples from Bayou. IEEE Data Engineering Bull.\u00a021(4), 12\u201320 (1998)","journal-title":"IEEE Data Engineering Bull."},{"issue":"6","key":"25_CR22","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/1466443.1466448","volume":"6","author":"W. Vogels","year":"2008","unstructured":"Vogels, W.: Eventually consistent. ACM Queue\u00a06(6), 14\u201319 (2008)","journal-title":"ACM Queue"},{"issue":"8","key":"25_CR23","doi-asserted-by":"publisher","first-page":"1180","DOI":"10.1016\/j.future.2010.06.006","volume":"26","author":"Y. Zhu","year":"2010","unstructured":"Zhu, Y., Wang, J.: Client-centric consistency formalization and verification for system with large-scale distributed data storage. Future Gener. Comput. Syst.\u00a026(8), 1180\u20131188 (2010)","journal-title":"Future Gener. Comput. Syst."}],"container-title":["Lecture Notes in Computer Science","Distributed Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45174-8_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,25]],"date-time":"2020-08-25T03:21:19Z","timestamp":1598325679000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45174-8_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662451731","9783662451748"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45174-8_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}