{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T21:35:38Z","timestamp":1777498538888,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,23]],"date-time":"2017-10-23T00:00:00Z","timestamp":1508716800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,10,23]]},"DOI":"10.1145\/3141834.3141835","type":"proceedings-article","created":{"date-parts":[[2017,10,12]],"date-time":"2017-10-12T12:51:09Z","timestamp":1507812669000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Tree topologies for causal message delivery"],"prefix":"10.1145","author":[{"given":"Sebastian","family":"Blessing","sequence":"first","affiliation":[{"name":"Imperial College London, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sylvan","family":"Clebsch","sequence":"additional","affiliation":[{"name":"Microsoft Research, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sophia","family":"Drossopoulou","sequence":"additional","affiliation":[{"name":"Imperial College London, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,10,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.1991.148677"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01784241"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Paulo S\u00e9rgio Almeida Carlos Baquero and Victor Fonte. 2008. Interval Tree Clocks.  Paulo S\u00e9rgio Almeida Carlos Baquero and Victor Fonte. 2008. Interval Tree Clocks.","DOI":"10.1007\/978-3-540-92221-6_18"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2391229.2391251"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/128738.128742"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/7351.7478"},{"key":"e_1_3_2_1_7_1","unstructured":"Sebastian Blessing. 2013. A String of Ponies - Transparent Distributed Programming with Actors. (2013). https:\/\/www.doc.ic.ac.uk\/~scb12\/ distinguished-projects\/2013\/s.blessing.pdf  Sebastian Blessing. 2013. A String of Ponies - Transparent Distributed Programming with Actors. (2013). https:\/\/www.doc.ic.ac.uk\/~scb12\/ distinguished-projects\/2013\/s.blessing.pdf"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(91)90055-M"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2544173.2509557"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2824815.2824816"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1323293.1294281"},{"key":"e_1_3_2_1_12_1","unstructured":"C. J. Fidge. February 1988. Timestamps In Message-Passing Systems That Preserve The Partial Ordering. (February 1988).  C. J. Fidge. February 1988. Timestamps In Message-Passing Systems That Preserve The Partial Ordering. (February 1988)."},{"key":"e_1_3_2_1_13_1","unstructured":"Alexey Gotsman Hongseok Yang Marek Zawirski and Sebastian Burckhardt. 2014. Replicated Data Types: Specification Verification Optimality. https:\/\/www.microsoft.com\/en-us\/research\/publication\/ replicated-data-types-specification-verification-optimality\/  Alexey Gotsman Hongseok Yang Marek Zawirski and Sebastian Burckhardt. 2014. Replicated Data Types: Specification Verification Optimality. https:\/\/www.microsoft.com\/en-us\/research\/publication\/ replicated-data-types-specification-verification-optimality\/"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41627"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_16_1","unstructured":"Friedemann Mattern. 1988. Virtual Time and Global States of Distributed Systems. In Parallel and Distributed Algorithms. NorthHolland 215\u2013226.  Friedemann Mattern. 1988. Virtual Time and Global States of Distributed Systems. In Parallel and Distributed Algorithms. NorthHolland 215\u2013226."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1983.236733"},{"key":"e_1_3_2_1_18_1","unstructured":"Nuno M. Pregui\u00e7a Carlos Baquero Paulo S\u00e9rgio Almeida Victor Fonte and Ricardo Gon\u00e7alves. 2010. Dotted Version Vectors: Logical Clocks for Optimistic Replication. CoRR abs\/1011.5808 (2010). http:\/\/arxiv. org\/abs\/1011.5808  Nuno M. Pregui\u00e7a Carlos Baquero Paulo S\u00e9rgio Almeida Victor Fonte and Ricardo Gon\u00e7alves. 2010. Dotted Version Vectors: Logical Clocks for Optimistic Replication. CoRR abs\/1011.5808 (2010). http:\/\/arxiv. org\/abs\/1011.5808"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.485846"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133896"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-51687-5_45"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02277859"},{"key":"e_1_3_2_1_23_1","unstructured":"Mark Stamp. Accessed July 2017. Once Upon a Time-Memory Tradeoff. (Accessed July 2017). http:\/\/www.cs.sjsu.edu\/~stamp\/RUA\/TMTO.pdf  Mark Stamp. Accessed July 2017. Once Upon a Time-Memory Tradeoff. (Accessed July 2017). http:\/\/www.cs.sjsu.edu\/~stamp\/RUA\/TMTO.pdf"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/PDIS.1994.331722"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224070"},{"key":"e_1_3_2_1_27_1","unstructured":"The Pony Core Development Team. 2013 - today. Pony. (2013 - today). http:\/\/www.ponylang.org  The Pony Core Development Team. 2013 - today. Pony. (2013 - today). http:\/\/www.ponylang.org"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/155848.155857"}],"event":{"name":"SPLASH '17: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","location":"Vancouver BC Canada","acronym":"SPLASH '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"]},"container-title":["Proceedings of the 7th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3141834.3141835","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3141834.3141835","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:37:13Z","timestamp":1750217833000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3141834.3141835"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,23]]},"references-count":27,"alternative-id":["10.1145\/3141834.3141835","10.1145\/3141834"],"URL":"https:\/\/doi.org\/10.1145\/3141834.3141835","relation":{},"subject":[],"published":{"date-parts":[[2017,10,23]]},"assertion":[{"value":"2017-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}