{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:29:19Z","timestamp":1750220959510,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T00:00:00Z","timestamp":1585526400000},"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":[[2020,3,30]]},"DOI":"10.1145\/3341105.3373896","type":"proceedings-article","created":{"date-parts":[[2020,3,29]],"date-time":"2020-03-29T12:13:52Z","timestamp":1585484032000},"page":"1322-1329","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["On the nature of cooperative scheduling in active objects"],"prefix":"10.1145","author":[{"given":"Vlad","family":"Serbanescu","sequence":"first","affiliation":[{"name":"Centrum Wiskunde and Informatica, Amsterdam, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"de Boer","sequence":"additional","affiliation":[{"name":"Centrum Wiskunde and Informatica, Amsterdam, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,3,30]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3122848"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1999.2823"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-10(4:5)2014"},{"volume-title":"Programming Methodology","author":"Dijkstra Edsger W","key":"e_1_3_2_1_4_1","unstructured":"Edsger W Dijkstra . 1978. Guarded commands, nondeterminacy, and formal derivation of programs . In Programming Methodology . Springer , 166--175. Edsger W Dijkstra. 1978. Guarded commands, nondeterminacy, and formal derivation of programs. In Programming Methodology. Springer, 166--175."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/92011.92023"},{"key":"e_1_3_2_1_6_1","volume-title":"Einar Broch Johnsen, and Tobias Wrigstad","author":"Fernandez-Reyes Kiko","year":"2019","unstructured":"Kiko Fernandez-Reyes , Dave Clarke , Ludovic Henrio , Einar Broch Johnsen, and Tobias Wrigstad . 2019 . Godot : All the Benefits of Implicit and Explicit Futures . Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, and Tobias Wrigstad. 2019. Godot: All the Benefits of Implicit and Explicit Futures."},{"key":"e_1_3_2_1_7_1","volume-title":"ABS: A core language for abstract behavioral specification. In Formal Methods for Components and Objects","author":"Johnsen Einar Broch","year":"2012","unstructured":"Einar Broch Johnsen , Reiner H\u00e4hnle , Jan Sch\u00e4fer , Rudolf Schlatte , and Martin Steffen . 2012 . ABS: A core language for abstract behavioral specification. In Formal Methods for Components and Objects . Springer , 142--164. Einar Broch Johnsen, Reiner H\u00e4hnle, Jan Sch\u00e4fer, Rudolf Schlatte, and Martin Steffen. 2012. ABS: A core language for abstract behavioral specification. In Formal Methods for Components and Objects. Springer, 142--164."},{"key":"e_1_3_2_1_8_1","volume-title":"FACS 2018, Pohang, South Korea, October 10--12, 2018, Proceedings. 237--255","author":"Serbanescu Vlad","year":"2018","unstructured":"Vlad Serbanescu , Frank S. de Boer , and Mohammad Mahdi Jaghoori . 2018 . Actors with Coroutine Support in Java. In Formal Aspects of Component Software - 15th International Conference , FACS 2018, Pohang, South Korea, October 10--12, 2018, Proceedings. 237--255 . Vlad Serbanescu, Frank S. de Boer, and Mohammad Mahdi Jaghoori. 2018. Actors with Coroutine Support in Java. In Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10--12, 2018, Proceedings. 237--255."},{"key":"e_1_3_2_1_9_1","volume-title":"ASCOOP: Actors in Scala with Cooperative Scheduling. In 2018 IEEE International Conference on Computational Science and Engineering, CSE 2018","author":"Serbanescu Vlad","year":"2018","unstructured":"Vlad Serbanescu , Frank S. de Boer , and Mohammad Mahdi Jaghoori . 2018 . ASCOOP: Actors in Scala with Cooperative Scheduling. In 2018 IEEE International Conference on Computational Science and Engineering, CSE 2018 , Bucharest, Romania, October 29--31 , 2018. 19--28. Vlad Serbanescu, Frank S. de Boer, and Mohammad Mahdi Jaghoori. 2018. ASCOOP: Actors in Scala with Cooperative Scheduling. In 2018 IEEE International Conference on Computational Science and Engineering, CSE 2018, Bucharest, Romania, October 29--31, 2018. 19--28."},{"key":"e_1_3_2_1_10_1","volume-title":"Rebeca: Theory, Applications, and Tools. In Formal Methods for Components and Objects, Frank S","author":"Sirjani Marjan","year":"2007","unstructured":"Marjan Sirjani . 2007 . Rebeca: Theory, Applications, and Tools. In Formal Methods for Components and Objects, Frank S . de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem-Paul de Roever (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 102--126. Marjan Sirjani. 2007. Rebeca: Theory, Applications, and Tools. In Formal Methods for Components and Objects, Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem-Paul de Roever (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 102--126."},{"key":"e_1_3_2_1_11_1","unstructured":"Enroute Storm. Accessed: 2019-09-26. Scala Coroutines. http:\/\/storm-enroute.com\/coroutines\/.  Enroute Storm. Accessed: 2019-09-26. Scala Coroutines. http:\/\/storm-enroute.com\/coroutines\/."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0250-1"}],"event":{"name":"SAC '20: The 35th ACM\/SIGAPP Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Brno Czech Republic","acronym":"SAC '20"},"container-title":["Proceedings of the 35th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3341105.3373896","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3341105.3373896","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:54:11Z","timestamp":1750204451000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3341105.3373896"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,30]]},"references-count":12,"alternative-id":["10.1145\/3341105.3373896","10.1145\/3341105"],"URL":"https:\/\/doi.org\/10.1145\/3341105.3373896","relation":{},"subject":[],"published":{"date-parts":[[2020,3,30]]},"assertion":[{"value":"2020-03-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}