{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T22:02:46Z","timestamp":1780524166092,"version":"3.54.1"},"publisher-location":"Cham","reference-count":58,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032052902","type":"print"},{"value":"9783032052919","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,9,25]],"date-time":"2025-09-25T00:00:00Z","timestamp":1758758400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,9,25]],"date-time":"2025-09-25T00:00:00Z","timestamp":1758758400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-05291-9_4","type":"book-chapter","created":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T14:08:02Z","timestamp":1758722882000},"page":"81-113","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Failure-Transparent Actors"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7119-5234","authenticated-orcid":false,"given":"Jonas","family":"Spenger","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9351-8508","authenticated-orcid":false,"given":"Paris","family":"Carbone","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2659-5271","authenticated-orcid":false,"given":"Philipp","family":"Haller","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,9,25]]},"reference":[{"key":"4_CR1","doi-asserted-by":"publisher","unstructured":"Abadi, M., Lamport, L.: The existence of refinement mappings. Theor. Comput. Sci. 82(2), 253\u2013284 (1991). https:\/\/doi.org\/10.1016\/0304-3975(91)90224-P","DOI":"10.1016\/0304-3975(91)90224-P"},{"key":"4_CR2","doi-asserted-by":"publisher","unstructured":"Abadi, M., Lamport, L.: Conjoining specifications. ACM Trans. Program. Lang. Syst. 17(3), 507\u2013534 (1995). https:\/\/doi.org\/10.1145\/203095.201069","DOI":"10.1145\/203095.201069"},{"key":"4_CR3","doi-asserted-by":"publisher","unstructured":"Agha, G.: Concurrent object-oriented programming. Commun. ACM 33(9), 125\u2013141 (1990). https:\/\/doi.org\/10.1145\/83880.84528","DOI":"10.1145\/83880.84528"},{"key":"4_CR4","doi-asserted-by":"publisher","unstructured":"Agha, G., Mason, I.A., Smith, S.F., Talcott, C.L.: A foundation for actor computation. J. Funct. Program. 7(1), 1\u201372 (1997). https:\/\/doi.org\/10.1017\/S095679689700261X","DOI":"10.1017\/S095679689700261X"},{"key":"4_CR5","doi-asserted-by":"publisher","unstructured":"Agha, G.A.: ACTORS - a model of concurrent computation in distributed systems. MIT Press Series in Artificial Intelligence, MIT Press (1986). https:\/\/doi.org\/10.7551\/mitpress\/1086.001.0001","DOI":"10.7551\/mitpress\/1086.001.0001"},{"key":"4_CR6","doi-asserted-by":"publisher","unstructured":"Alpern, B., Schneider, F.B.: Defining liveness. Inf. Process. Lett. 21(4), 181\u2013185 (1985). https:\/\/doi.org\/10.1016\/0020-0190(85)90056-0","DOI":"10.1016\/0020-0190(85)90056-0"},{"key":"4_CR7","unstructured":"Armstrong, J.: Erlang\u2013a survey of the language and its industrial applications. In: Proceedings of INAP, vol.\u00a096, pp. 16\u201318 (1996)"},{"key":"4_CR8","unstructured":"Armstrong, J.: Making reliable distributed systems in the presence of software errors. Ph.D. thesis, KTH Royal Institute of Technology, Stockholm, Sweden (2003). https:\/\/nbn-resolving.org\/urn:nbn:se:kth:diva-3658"},{"key":"4_CR9","unstructured":"Armstrong, J., Virding, R., Williams, M.: Concurrent programming in ERLANG. Prentice Hall (1993)"},{"key":"4_CR10","unstructured":"Bernstein, P., Bykov, S., Geller, A., Kliot, G., Thelin, J.: Orleans: distributed virtual actors for programmability and scalability. Technical report MSR-TR-2014-41 (2014). https:\/\/www.microsoft.com\/en-us\/research\/publication\/orleans-distributed-virtual-actors-for-programmability-and-scalability\/"},{"key":"4_CR11","doi-asserted-by":"publisher","unstructured":"Brandauer, S., et al.: Parallel objects for multicores: a glimpse at the parallel language Encore. In: Bernardo, M., Johnsen, E.B. (eds.) Formal Methods for Multicore Programming - 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, 15\u201319 June 2015, Advanced Lectures. Lecture Notes in Computer Science, vol.\u00a09104, pp. 1\u201356. Springer (2015). https:\/\/doi.org\/10.1007\/978-3-319-18941-3_1","DOI":"10.1007\/978-3-319-18941-3_1"},{"key":"4_CR12","doi-asserted-by":"publisher","unstructured":"Burckhardt, S., Gillum, C., Justo, D., Kallas, K., McMahon, C., Meiklejohn, C.S.: Durable functions: semantics for stateful serverless. Proc. ACM Program. Lang. 5(OOPSLA), 133:1\u2013133:27 (2021). https:\/\/doi.org\/10.1145\/3485510","DOI":"10.1145\/3485510"},{"key":"4_CR13","doi-asserted-by":"publisher","unstructured":"Bykov, S., Geller, A., Kliot, G., Larus, J.R., Pandya, R., Thelin, J.: Orleans: cloud computing for everyone. In: Chase, J.S., Abbadi, A.E. (eds.) ACM Symposium on Cloud Computing in conjunction with SOSP 2011, SOCC 2011, Cascais, Portugal, 26\u201328 October 2011, pp.\u00a016:1\u201316:14. ACM (2011). https:\/\/doi.org\/10.1145\/2038916.2038932","DOI":"10.1145\/2038916.2038932"},{"key":"4_CR14","unstructured":"Carbone, P., Katsifodimos, A., Ewen, S., Markl, V., Haridi, S., Tzoumas, K.: Apache Flink\u2122: stream and batch processing in a single engine. IEEE Data Eng. Bull. 38(4), 28\u201338 (2015). http:\/\/sites.computer.org\/debull\/A15dec\/p28.pdf"},{"key":"4_CR15","doi-asserted-by":"publisher","unstructured":"Clebsch, S., Franco, J., Drossopoulou, S., Yang, A.M., Wrigstad, T., Vitek, J.: Orca: GC and type system co-design for actor languages. Proc. ACM Program. Lang. 1(OOPSLA), 72:1\u201372:28 (2017). \u00a0https:\/\/doi.org\/10.1145\/3133896","DOI":"10.1145\/3133896"},{"key":"4_CR16","unstructured":"DBOS, Inc.: DBOS (2025). https:\/\/www.dbos.dev\/. Accessed 31 Jan 2025"},{"key":"4_CR17","unstructured":"Dean, J., Ghemawat, S.: MapReduce: simplified data processing on large clusters. In: Brewer, E.A., Chen, P. (eds.) 6th Symposium on Operating System Design and Implementation (OSDI 2004), San Francisco, California, USA, 6\u20138 December 2004, pp. 137\u2013150. USENIX Association (2004). http:\/\/www.usenix.org\/events\/osdi04\/tech\/dean.html"},{"key":"4_CR18","doi-asserted-by":"publisher","unstructured":"Dedecker, J., Van Cutsem, T., Mostinckx, S., D\u2019Hondt, T., De Meuter, W.: Ambient-oriented programming in AmbientTalk. In: Thomas, D. (ed.) ECOOP 2006 - Object-Oriented Programming, 20th European Conference, Nantes, France, 3\u20137 July 2006, Proceedings. Lecture Notes in Computer Science, vol.\u00a04067, pp. 230\u2013254. Springer (2006). https:\/\/doi.org\/10.1007\/11785477_16","DOI":"10.1007\/11785477_16"},{"key":"4_CR19","unstructured":"Ericsson AB: Erlang (2025). https:\/\/www.erlang.org\/. Accessed 30 May 2025"},{"key":"4_CR20","doi-asserted-by":"publisher","unstructured":"Field, J., Varela, C.A.: Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments. In: Palsberg, J., Abadi, M. (eds.) Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, 12\u201314 January 2005, pp. 195\u2013208. ACM (2005). https:\/\/doi.org\/10.1145\/1040305.1040322","DOI":"10.1145\/1040305.1040322"},{"key":"4_CR21","doi-asserted-by":"publisher","unstructured":"Fowler, S., Lindley, S., Wadler, P.: Mixing metaphors: actors as channels and channels as actors. In: M\u00fcller, P. (ed.) 31st European Conference on Object-Oriented Programming, ECOOP 2017, 19\u201323 June 2017, Barcelona, Spain. LIPIcs, vol.\u00a074, pp. 11:1\u201311:28. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2017). https:\/\/doi.org\/10.4230\/LIPICS.ECOOP.2017.11","DOI":"10.4230\/LIPICS.ECOOP.2017.11"},{"key":"4_CR22","doi-asserted-by":"publisher","unstructured":"G\u00e4rtner, F.C.: Fundamentals of fault-tolerant distributed computing in asynchronous environments. ACM Comput. Surv. 31(1), 1\u201326 (1999). https:\/\/doi.org\/10.1145\/311531.311532","DOI":"10.1145\/311531.311532"},{"key":"4_CR23","doi-asserted-by":"publisher","unstructured":"Haller, P.: On the integration of the actor model in mainstream technologies: the Scala perspective. In: Agha, G.A., Bordini, R.H., Marron, A., Ricci, A. (eds.) Proceedings of the 2nd Edition on Programming Systems, Languages and Applications Based on Actors, Agents, and Decentralized Control Abstractions, AGERE! 2012, 21\u201322 October 2012, Tucson, Arizona, USA, pp.\u00a01\u20136. ACM (2012). https:\/\/doi.org\/10.1145\/2414639.2414641","DOI":"10.1145\/2414639.2414641"},{"key":"4_CR24","doi-asserted-by":"publisher","unstructured":"Haller, P., Loiko, A.: LaCasa: lightweight affinity and object capabilities in Scala. In: Visser, E., Smaragdakis, Y. (eds.) Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, 30 October\u20134 November 2016, pp. 272\u2013291. ACM (2016). https:\/\/doi.org\/10.1145\/2983990.2984042","DOI":"10.1145\/2983990.2984042"},{"key":"4_CR25","doi-asserted-by":"publisher","unstructured":"Haller, P., Odersky, M.: Scala Actors: unifying thread-based and event-based programming. Theor. Comput. Sci. 410(2\u20133), 202\u2013220 (2009). https:\/\/doi.org\/10.1016\/j.tcs.2008.09.019","DOI":"10.1016\/j.tcs.2008.09.019"},{"key":"4_CR26","unstructured":"Helland, P., Campbell, D.: Building on quicksand. In: Fourth Biennial Conference on Innovative Data Systems Research, CIDR 2009, Asilomar, CA, USA, 4\u20137 January 2009, Online Proceedings (2009). https:\/\/www.cidrdb.org\/. http:\/\/www-db.cs.wisc.edu\/cidr\/cidr2009\/Paper_133.pdf"},{"key":"4_CR27","unstructured":"Hewitt, C., Baker, H.G.: Laws for communicating parallel processes. In: Gilchrist, B. (ed.) Information Processing, Proceedings of the 7th IFIP Congress 1977, Toronto, Canada, 8\u201312 August 1977, pp. 987\u2013992. North-Holland (1977)"},{"key":"4_CR28","unstructured":"Hewitt, C., Bishop, P.B., Steiger, R.: A universal modular ACTOR formalism for artificial intelligence. In: Nilsson, N.J. (ed.) Proceedings of the 3rd International Joint Conference on Artificial Intelligence, Stanford, CA, USA, 20\u201323 August 1973, pp. 235\u2013245. William Kaufmann (1973). http:\/\/ijcai.org\/Proceedings\/73\/Papers\/027B.pdf"},{"key":"4_CR29","doi-asserted-by":"publisher","unstructured":"Imam, S.M., Sarkar, V.: Savina - An actor benchmark suite: enabling empirical evaluation of actor libraries. In: Boix, E.G., Haller, P., Ricci, A., Varela, C.A. (eds.) Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control, AGERE! 2014, Portland, OR, USA, 20 October 2014, pp. 67\u201380. ACM (2014). https:\/\/doi.org\/10.1145\/2687357.2687368","DOI":"10.1145\/2687357.2687368"},{"key":"4_CR30","doi-asserted-by":"publisher","unstructured":"Kallas, K., Zhang, H., Alur, R., Angel, S., Liu, V.: Executing microservice applications on serverless, correctly. Proc. ACM Program. Lang. 7(POPL), 367\u2013395 (2023). \u00a0https:\/\/doi.org\/10.1145\/3571206","DOI":"10.1145\/3571206"},{"key":"4_CR31","doi-asserted-by":"publisher","unstructured":"De Koster, J., Van Cutsem, T., De Meuter, W.: 43 years of actors: a taxonomy of actor models and their key properties. In: Clebsch, S., Desell, T., Haller, P., Ricci, A. (eds.) Proceedings of the 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE 2016, Amsterdam, The Netherlands, 30 October 2016, pp. 31\u201340. ACM (2016). https:\/\/doi.org\/10.1145\/3001886.3001890","DOI":"10.1145\/3001886.3001890"},{"key":"4_CR32","doi-asserted-by":"publisher","unstructured":"Lamport, L.: Proving the correctness of multiprocess programs. IEEE Trans. Software Eng. 3(2), 125\u2013143 (1977). https:\/\/doi.org\/10.1109\/TSE.1977.229904","DOI":"10.1109\/TSE.1977.229904"},{"key":"4_CR33","doi-asserted-by":"publisher","unstructured":"Lamport, L., Merz, S.: Prophecy made simple. ACM Trans. Program. Lang. Syst. 44(2), 6:1\u20136:27 (2022). \u00a0https:\/\/doi.org\/10.1145\/3492545","DOI":"10.1145\/3492545"},{"key":"4_CR34","doi-asserted-by":"publisher","unstructured":"Lee, P.A., Anderson, T.: Fault tolerance, pp. 51\u201377. Springer Vienna, Vienna (1990). https:\/\/doi.org\/10.1007\/978-3-7091-8990-0_3","DOI":"10.1007\/978-3-7091-8990-0_3"},{"key":"4_CR35","doi-asserted-by":"publisher","unstructured":"Li, T., Chandramouli, B., Burckhardt, S., Madden, S.: DARQ matter binds everything: performant and composable cloud programming via resilient steps. Proc. ACM Manag. Data 1(2), 117:1\u2013117:27 (2023). https:\/\/doi.org\/10.1145\/3589262","DOI":"10.1145\/3589262"},{"key":"4_CR36","unstructured":"Lightbend, Inc.: Akka (2022). https:\/\/akka.io\/. Accessed 07 July 2022"},{"key":"4_CR37","unstructured":"Lowell, D.E.: Theory and practice of failure transparency. Ph.D. thesis, University of Michigan, USA (1999). https:\/\/hdl.handle.net\/2027.42\/132190"},{"key":"4_CR38","doi-asserted-by":"publisher","unstructured":"Marcus, M., Pnueli, A.: Using ghost variables to prove refinement. In: Wirsing, M., Nivat, M. (eds.) Algebraic Methodology and Software Technology, 5th International Conference, AMAST 1996, Munich, Germany, 1\u20135 July 1996, Proceedings. Lecture Notes in Computer Science, vol.\u00a01101, pp. 226\u2013240. Springer (1996). https:\/\/doi.org\/10.1007\/BFB0014319","DOI":"10.1007\/BFB0014319"},{"key":"4_CR39","doi-asserted-by":"publisher","unstructured":"Miller, M.S., Tribble, E.D., Shapiro, J.S.: Concurrency among strangers. In: De Nicola, R., Sangiorgi, D. (eds.) Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, 7\u20139 April 2005, Revised Selected Papers. Lecture Notes in Computer Science, vol.\u00a03705, pp. 195\u2013229. Springer (2005). https:\/\/doi.org\/10.1007\/11580850_12","DOI":"10.1007\/11580850_12"},{"key":"4_CR40","doi-asserted-by":"publisher","unstructured":"Paul, S., Agha, G., Patterson, S., Varela, C.A.: Eventual consensus in Synod: verification using a failure-aware actor model. Innov. Syst. Softw. Eng. 19(4), 395\u2013410 (2023). https:\/\/doi.org\/10.1007\/S11334-022-00463-5","DOI":"10.1007\/S11334-022-00463-5"},{"key":"4_CR41","doi-asserted-by":"publisher","unstructured":"Plyukhin, D., Agha, G.: A scalable algorithm for decentralized actor termination detection. Log. Methods Comput. Sci. 18(1) (2022). \u00a0https:\/\/doi.org\/10.46298\/LMCS-18(1:39)2022","DOI":"10.46298\/LMCS-18(1:39)2022"},{"key":"4_CR42","doi-asserted-by":"publisher","unstructured":"Plyukhin, D., Agha, G., Montesi, F.: CRGC: fault-recovering actor garbage collection in Pekko. Proc. ACM Program. Lang. 9(PLDI), 945\u2013969 (2025). https:\/\/doi.org\/10.1145\/3729288","DOI":"10.1145\/3729288"},{"key":"4_CR43","unstructured":"Resonate HQ, Inc.: Resonate (2025). https:\/\/www.resonatehq.io\/. Accessed 31 Jan 2025"},{"key":"4_CR44","unstructured":"Restate: Restate (2024). https:\/\/restate.dev\/. Accessed 31 Jan 2025"},{"key":"4_CR45","doi-asserted-by":"publisher","unstructured":"Ricci, A., Haller, P. (eds.): Programming with Actors - State-of-the-Art and Research Perspectives, Lecture Notes in Computer Science, vol. 10789. Springer (2018). \u00a0https:\/\/doi.org\/10.1007\/978-3-030-00302-9","DOI":"10.1007\/978-3-030-00302-9"},{"key":"4_CR46","doi-asserted-by":"publisher","unstructured":"Saltzer, J.H., Reed, D.P., Clark, D.D.: End-to-end arguments in system design. ACM Trans. Comput. Syst. 2(4), 277\u2013288 (1984). https:\/\/doi.org\/10.1145\/357401.357402","DOI":"10.1145\/357401.357402"},{"key":"4_CR47","doi-asserted-by":"publisher","unstructured":"Spenger, J., Carbone, P., Haller, P.: Portals: an extension of dataflow streaming for stateful serverless. In: Scholliers, C., Singer, J. (eds.) Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2022, Auckland, New Zealand, 8\u201310 December 2022, pp. 153\u2013171. ACM (2022). https:\/\/doi.org\/10.1145\/3563835.3567664","DOI":"10.1145\/3563835.3567664"},{"key":"4_CR48","doi-asserted-by":"publisher","unstructured":"Spenger, J., Carbone, P., Haller, P.: A survey of actor-like programming models for serverless computing. In: de\u00a0Boer, F.S., Damiani, F., H\u00e4hnle, R., Johnsen, E.B., Kamburjan, E. (eds.) Active Object Languages: Current Research Trends, Lecture Notes in Computer Science, vol. 14360, pp. 123\u2013146. Springer (2024). \u00a0https:\/\/doi.org\/10.1007\/978-3-031-51060-1_5","DOI":"10.1007\/978-3-031-51060-1_5"},{"key":"4_CR49","doi-asserted-by":"publisher","unstructured":"Spenger, J., Huang, C., Haller, P., Carbone, P.: Portals: a showcase of multi-dataflow stateful serverless. Proc. VLDB Endow. 16(12), 4054\u20134057 (2023). https:\/\/doi.org\/10.14778\/3611540.3611619. https:\/\/www.vldb.org\/pvldb\/vol16\/p4054-spenger.pdf","DOI":"10.14778\/3611540.3611619"},{"key":"4_CR50","doi-asserted-by":"publisher","unstructured":"Tardieu, O., Grove, D., Bercea, G., Castro, P., Cwiklik, J., Epstein, E.A.: Reliable actors with retry orchestration. Proc. ACM Program. Lang. 7(PLDI), 1293\u20131316 (2023). https:\/\/doi.org\/10.1145\/3591273","DOI":"10.1145\/3591273"},{"key":"4_CR51","unstructured":"Temporal Technologies: Temporal (2025). https:\/\/temporal.io\/. Accessed 31 Jan 2025"},{"key":"4_CR52","unstructured":"The Apache Software Foundation: Apache Flink Stateful Functions (2023). https:\/\/nightlies.apache.org\/flink\/flink-statefun-docs-stable\/. Accessed 18 May 2023"},{"key":"4_CR53","unstructured":"The Elixir Team: Elixir (2025). https:\/\/elixir-lang.org\/. Accessed 30 May 2025"},{"key":"4_CR54","unstructured":"The Pony Developers: Pony (2025). https:\/\/www.ponylang.io\/. Accessed 30 May 2025"},{"key":"4_CR55","unstructured":"Tornow, D.: Handling failures from first principles (2022). https:\/\/dominik-tornow.medium.com\/handling-failures-from-first-principles-1ed976b1b869. Accessed 31 Jan 2025"},{"key":"4_CR56","doi-asserted-by":"publisher","unstructured":"Veresov, A., Spenger, J., Carbone, P., Haller, P.: Failure transparency in stateful dataflow systems. In: Aldrich, J., Salvaneschi, G. (eds.) 38th European Conference on Object-Oriented Programming, ECOOP 2024, 16\u201320 September 2024, Vienna, Austria. LIPIcs, vol.\u00a0313, pp. 42:1\u201342:31. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2024). https:\/\/doi.org\/10.4230\/LIPICS.ECOOP.2024.42","DOI":"10.4230\/LIPICS.ECOOP.2024.42"},{"key":"4_CR57","doi-asserted-by":"publisher","unstructured":"Wensley, J.H.: SIFT: Software implemented fault tolerance. In: American Federation of Information Processing Societies: Proceedings of the AFIPS \u201972 Fall Joint Computer Conference, 5\u20137 December 1972, Anaheim, California, USA - Part I. AFIPS Conference Proceedings, vol.\u00a041, pp. 243\u2013253. AFIPS\/ACM\/Thomson Book Company, Washington D.C. (1972). https:\/\/doi.org\/10.1145\/1479992.1480025","DOI":"10.1145\/1479992.1480025"},{"key":"4_CR58","unstructured":"Zaharia, M., et al.: Resilient distributed datasets: a fault-tolerant abstraction for in-memory cluster computing. In: Gribble, S.D., Katabi, D. (eds.) Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2012, San Jose, CA, USA, 25\u201327 April 2012, pp. 15\u201328. USENIX Association (2012). https:\/\/www.usenix.org\/conference\/nsdi12\/technical-sessions\/presentation\/zaharia"}],"container-title":["Lecture Notes in Computer Science","Concurrent Programming, Open Systems and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-05291-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T21:00:59Z","timestamp":1780520459000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-05291-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,25]]},"ISBN":["9783032052902","9783032052919"],"references-count":58,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-05291-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,9,25]]},"assertion":[{"value":"25 September 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}}]}}