{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:18:00Z","timestamp":1763468280922,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,10,21]],"date-time":"2015-10-21T00:00:00Z","timestamp":1445385600000},"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":[[2015,10,21]]},"DOI":"10.1145\/2814228.2814245","type":"proceedings-article","created":{"date-parts":[[2015,11,3]],"date-time":"2015-11-03T20:06:54Z","timestamp":1446581214000},"page":"171-182","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["Isolates, channels, and event streams for composable distributed programming"],"prefix":"10.1145","author":[{"given":"Aleksandar","family":"Prokopec","sequence":"first","affiliation":[{"name":"EPFL, Switzerland"}]},{"given":"Martin","family":"Odersky","sequence":"additional","affiliation":[{"name":"EPFL, Switzerland"}]}],"member":"320","published-online":{"date-parts":[[2015,10,21]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Dart programming language 2011. http:\/\/www.dartlang.org\/.  Dart programming language 2011. http:\/\/www.dartlang.org\/."},{"key":"e_1_3_2_1_2_1","unstructured":"Akka documentation 2015. http:\/\/akka.io\/docs\/.  Akka documentation 2015. http:\/\/akka.io\/docs\/."},{"key":"e_1_3_2_1_3_1","unstructured":"Erlang\/OTP documentation 2015. http:\/\/www.erlang.org\/.  Erlang\/OTP documentation 2015. http:\/\/www.erlang.org\/."},{"key":"e_1_3_2_1_4_1","unstructured":"Reactive Collections 2015. https:\/\/reactive-collections.com.  Reactive Collections 2015. https:\/\/reactive-collections.com."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: A Model of Concurrent Computation in Distributed Systems","author":"Agha G.","year":"1986","unstructured":"G. Agha . Actors: A Model of Concurrent Computation in Distributed Systems . MIT Press , Cambridge, MA, USA , 1986 . G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, MA, USA, 1986."},{"key":"e_1_3_2_1_6_1","volume-title":"19th Internation Workshop on Foundations of Object-Oriented Languages","author":"Amin N.","year":"2012","unstructured":"N. Amin , A. Moors , and M. Odersky . Dependend object types . In 19th Internation Workshop on Foundations of Object-Oriented Languages , 2012 . N. Amin, A. Moors, and M. Odersky. Dependend object types. In 19th Internation Workshop on Foundations of Object-Oriented Languages, 2012."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11821069_1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCCC.2007.4"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1327452.1327492"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/362929.362947"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the 11th Australian Computer Science Conference, 10(1):56\u201366","author":"Fidge C. J.","year":"1988","unstructured":"C. J. Fidge . Timestamps in message-passing systems that preserve the partial ordering . Proceedings of the 11th Australian Computer Science Conference, 10(1):56\u201366 , 1988 . C. J. Fidge. Timestamps in message-passing systems that preserve the partial ordering. Proceedings of the 11th Australian Computer Science Conference, 10(1):56\u201366, 1988."},{"key":"e_1_3_2_1_13_1","volume-title":"Introduction to reliable distributed programming","author":"Guerraoui R.","year":"2006","unstructured":"R. Guerraoui and L. Rodrigues . Introduction to reliable distributed programming . Springer , 2006 . R. Guerraoui and L. Rodrigues. Introduction to reliable distributed programming. Springer, 2006."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/11860990_2"},{"key":"e_1_3_2_1_15_1","volume-title":"Scala improvement proposal: Futures and promises (SIP-14)","author":"Haller P.","year":"2012","unstructured":"P. Haller , A. Prokopec , H. Miller , V. Klang , R. Kuhn , and V. Jovanovic . Scala improvement proposal: Futures and promises (SIP-14) . 2012 . P. Haller, A. Prokopec, H. Miller, V. Klang, R. Kuhn, and V. Jovanovic. Scala improvement proposal: Futures and promises (SIP-14). 2012."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2687357.2687360"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of 6th International Workshop on Networking Meets Databases (NetDB)","author":"Kreps J.","year":"2011","unstructured":"J. Kreps , N. Narkhede , and J. Rao . Kafka: A distributed messaging system for log processing . In Proceedings of 6th International Workshop on Networking Meets Databases (NetDB) , Athens, Greece , 2011 . J. Kreps, N. Narkhede, and J. Rao. Kafka: A distributed messaging system for log processing. In Proceedings of 6th International Workshop on Networking Meets Databases (NetDB), Athens, Greece, 2011."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/279227.279229"},{"key":"e_1_3_2_1_19_1","volume-title":"Distributed Algorithms","author":"Lynch N. A.","year":"1996","unstructured":"N. A. Lynch . Distributed Algorithms . Morgan Kaufmann Publishers Inc ., San Francisco, CA, USA, 1996 . N. A. Lynch. Distributed Algorithms. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1996."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2160718.2160735"},{"key":"e_1_3_2_1_21_1","first-page":"144","volume-title":"Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture","author":"Meijer E.","unstructured":"E. Meijer , M. Fokkinga , and R. Paterson . Functional programming with bananas, lenses, envelopes and barbed wire . In Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture , pages 124\u2013 144 . Springer-Verlag, 1991. E. Meijer, M. Fokkinga, and R. Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture, pages 124\u2013144. Springer-Verlag, 1991."},{"key":"e_1_3_2_1_23_1","first-page":"451","volume-title":"FSTTCS 2009, volume 4 of Leibniz International Proceedings in Informatics (LIPIcs)","author":"Odersky M.","year":"2009","unstructured":"M. Odersky and A. Moors . Fighting bit rot with types (experience report: Scala collections) . In FSTTCS 2009, volume 4 of Leibniz International Proceedings in Informatics (LIPIcs) , pages 427\u2013 451 , Dagstuhl, Germany , 2009 . M. Odersky and A. Moors. Fighting bit rot with types (experience report: Scala collections). In FSTTCS 2009, volume 4 of Leibniz International Proceedings in Informatics (LIPIcs), pages 427\u2013451, Dagstuhl, Germany, 2009."},{"key":"e_1_3_2_1_24_1","volume-title":"Types and Programming Languages","author":"Pierce B. C.","year":"2002","unstructured":"B. C. Pierce . Types and Programming Languages . MIT Press , Cambridge, MA, USA , 2002 . B. C. Pierce. Types and Programming Languages. MIT Press, Cambridge, MA, USA, 2002."},{"key":"e_1_3_2_1_25_1","series-title":"Lecture Notes in Computer Science","first-page":"98","volume-title":"Distributed Applications and Interoperable Systems","author":"Pinte K.","unstructured":"K. Pinte , A. Lombide Carreton , E. Gonzalez Boix , and W. Meuter . Ambient Clouds: Reactive asynchronous collections for mobile ad hoc network applications . In J. Dowling and F. Ta\u00efani, editors, Distributed Applications and Interoperable Systems , volume 7891 of Lecture Notes in Computer Science , pages 85\u2013 98 . Springer Berlin Heidelberg, 2013. K. Pinte, A. Lombide Carreton, E. Gonzalez Boix, and W. Meuter. Ambient Clouds: Reactive asynchronous collections for mobile ad hoc network applications. In J. Dowling and F. Ta\u00efani, editors, Distributed Applications and Interoperable Systems, volume 7891 of Lecture Notes in Computer Science, pages 85\u201398. Springer Berlin Heidelberg, 2013."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2009.20"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2774975.2774976"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2637647.2637656"},{"key":"e_1_3_2_1_29_1","first-page":"173","volume-title":"LCPC","author":"Prokopec A.","year":"2012","unstructured":"A. Prokopec , H. Miller , T. Schlatter , P. Haller , and M. Odersky . Flowpools: A lock-free deterministic concurrent dataflow abstraction . In LCPC , pages 158\u2013 173 , 2012 . A. Prokopec, H. Miller, T. Schlatter, P. Haller, and M. Odersky. Flowpools: A lock-free deterministic concurrent dataflow abstraction. In LCPC, pages 158\u2013173, 2012."},{"key":"e_1_3_2_1_30_1","first-page":"2001","volume-title":"Proceedings of the First International Conference on Peer-to-Peer Computing, P2P \u201901","author":"Schollmeier R.","unstructured":"R. Schollmeier . A definition of peer-to-peer networking for the classification of peer-to-peer architectures and applications . In Proceedings of the First International Conference on Peer-to-Peer Computing, P2P \u201901 , pages 101\u2013, Washington, DC, USA, 2001 . IEEE Computer Society. R. Schollmeier. A definition of peer-to-peer networking for the classification of peer-to-peer architectures and applications. In Proceedings of the First International Conference on Peer-to-Peer Computing, P2P \u201901, pages 101\u2013, Washington, DC, USA, 2001. IEEE Computer Society."},{"key":"e_1_3_2_1_32_1","volume-title":"Concurrent Programming in ERLANG (2Nd Ed.)","author":"Virding R.","year":"1996","unstructured":"R. Virding , C. Wikstr\u00f6m , and M. Williams . Concurrent Programming in ERLANG (2Nd Ed.) . Prentice Hall International (UK) Ltd ., Hertfordshire, UK, UK, 1996 . R. Virding, C. Wikstr\u00f6m, and M. Williams. Concurrent Programming in ERLANG (2Nd Ed.). Prentice Hall International (UK) Ltd., Hertfordshire, UK, UK, 1996."},{"key":"e_1_3_2_1_33_1","volume-title":"High-level framework for network-based resource sharing. RFC","author":"White J.","year":"1975","unstructured":"J. White . High-level framework for network-based resource sharing. RFC 707, Dec. 1975 . J. White. High-level framework for network-based resource sharing. RFC 707, Dec. 1975."},{"key":"e_1_3_2_1_34_1","first-page":"2","volume-title":"Proceedings of the 9th USENIX Conference on Networked Systems Design and Implementation, NSDI\u201912","author":"Zaharia M.","year":"2012","unstructured":"M. Zaharia , M. Chowdhury , T. Das , A. Dave , J. Ma , M. Mc-Cauley , M. J. Franklin , S. Shenker , and I. Stoica . Resilient distributed datasets: A fault-tolerant abstraction for in-memory cluster computing . In Proceedings of the 9th USENIX Conference on Networked Systems Design and Implementation, NSDI\u201912 , pages 2\u2013 2 , Berkeley, CA, USA , 2012 . USENIX Association. M. Zaharia, M. Chowdhury, T. Das, A. Dave, J. Ma, M. Mc-Cauley, M. J. Franklin, S. Shenker, and I. Stoica. Resilient distributed datasets: A fault-tolerant abstraction for in-memory cluster computing. In Proceedings of the 9th USENIX Conference on Networked Systems Design and Implementation, NSDI\u201912, pages 2\u20132, Berkeley, CA, USA, 2012. USENIX Association."}],"event":{"name":"SPLASH '15: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Pittsburgh PA USA","acronym":"SPLASH '15"},"container-title":["2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2814228.2814245","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2814228.2814245","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:12:47Z","timestamp":1750227167000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2814228.2814245"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,21]]},"references-count":31,"alternative-id":["10.1145\/2814228.2814245","10.1145\/2814228"],"URL":"https:\/\/doi.org\/10.1145\/2814228.2814245","relation":{},"subject":[],"published":{"date-parts":[[2015,10,21]]},"assertion":[{"value":"2015-10-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}