{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:01:26Z","timestamp":1767927686688,"version":"3.49.0"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030634605","type":"print"},{"value":"9783030634612","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-63461-2_10","type":"book-chapter","created":{"date-parts":[[2020,11,13]],"date-time":"2020-11-13T16:03:28Z","timestamp":1605283408000},"page":"181-198","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Active Objects with Deterministic Behaviour"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7137-3523","authenticated-orcid":false,"given":"Ludovic","family":"Henrio","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5382-3949","authenticated-orcid":false,"given":"Einar Broch","family":"Johnsen","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8763-5548","authenticated-orcid":false,"given":"Violet Ka I.","family":"Pun","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,11,13]]},"reference":[{"issue":"5","key":"10_CR1","doi-asserted-by":"publisher","first-page":"76:1","DOI":"10.1145\/3122848","volume":"50","author":"F de Boer","year":"2017","unstructured":"de Boer, F., et al.: A survey of active object languages. ACM Comput. Surv. 50(5), 76:1\u201376:39 (2017)","journal-title":"ACM Comput. Surv."},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Baker Jr., H.G., Hewitt, C.: The incremental garbage collection of processes. In: Proceedings of the Symposium on Artificial Intelligence and Programming Languages, pp. 55\u201359. ACM (1977)","DOI":"10.1145\/800228.806932"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press (1986)","DOI":"10.7551\/mitpress\/1086.001.0001"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-030-00302-9_6","volume-title":"Programming with Actors","author":"C Torres Lopez","year":"2018","unstructured":"Torres Lopez, C., Marr, S., Gonzalez Boix, E., M\u00f6ssenb\u00f6ck, H.: A study of concurrency bugs and advanced development support for actor-based programs. In: Ricci, A., Haller, P. (eds.) Programming with Actors. LNCS, vol. 10789, pp. 155\u2013185. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-00302-9_6"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Caromel, D., Henrio, L., Serpette, B.: Asynchronous and deterministic objects. In: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 123\u2013134. ACM Press (2004)","DOI":"10.1145\/982962.964012"},{"key":"10_CR6","unstructured":"Fernandez-Reyes, K., Clarke, D., Henrio, L., Johnsen, E.B., Wrigstad, T.: Godot: all the benefits of implicit and explicit futures. In: Proceedings of the 33rd European Conference on Object-Oriented Programming (ECOOP 2019). LIPIcs, vol. 134, pp. 2:1\u20132:28. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2019)"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/978-3-540-71316-6_22","volume-title":"Programming Languages and Systems","author":"FS de Boer","year":"2007","unstructured":"de Boer, F.S., Clarke, D., Johnsen, E.B.: A complete guide to the future. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 316\u2013330. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71316-6_22"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-642-25271-6_8","volume-title":"Formal Methods for Components and Objects","author":"EB Johnsen","year":"2011","unstructured":"Johnsen, E.B., H\u00e4hnle, R., Sch\u00e4fer, J., Schlatte, R., Steffen, M.: ABS: a core language for abstract behavioral specification. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol. 6957, pp. 142\u2013164. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-25271-6_8"},{"issue":"10","key":"10_CR9","first-page":"1695","volume":"11","author":"M Sirjani","year":"2005","unstructured":"Sirjani, M., de Boer, F.S., Movaghar-Rahimabadi, A.: Modular verification of a component-based actor language. J. Univ. Comput. Sci. 11(10), 1695\u20131717 (2005)","journal-title":"J. Univ. Comput. Sci."},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-18941-3_1","volume-title":"Formal Methods for Multicore Programming","author":"S Brandauer","year":"2015","unstructured":"Brandauer, S., et al.: Parallel objects for multicores: a glimpse at the parallel language Encore. In: Bernardo, M., Johnsen, E.B. (eds.) SFM 2015. LNCS, vol. 9104, pp. 1\u201356. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-18941-3_1"},{"key":"10_CR11","unstructured":"Caromel, D., Henrio, L.: A Theory of Distributed Objects. Springer, Heidelberg (2004)"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Henrio, L., Johnsen, E.B., Pun, K.I.: Active Objects with Deterministic Behaviour (long version). Research Report 8, Western Norway University of Applied Sciences (2020)","DOI":"10.1007\/978-3-030-63461-2_10"},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/1-84628-339-6_9","volume-title":"Grid Computing: Software Environments and Tools","author":"L Baduel","year":"2006","unstructured":"Baduel, L., et al.: Programming, composing, deploying for the grid. In: Cunha, J.C., Rana, O.F. (eds.) Grid Computing: Software Environments and Tools, pp. 205\u2013229. Springer, London (2006). https:\/\/doi.org\/10.1007\/1-84628-339-6_9"},{"issue":"1","key":"10_CR14","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s00236-009-0111-x","volume":"47","author":"MM Jaghoori","year":"2010","unstructured":"Jaghoori, M.M., Sirjani, M., Mousavi, M.R., Khamespanah, E., Movaghar, A.: Symmetry and partial order reduction techniques in model checking Rebeca. Acta Informatica 47(1), 33\u201366 (2010)","journal-title":"Acta Informatica"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/11785477_16","volume-title":"ECOOP 2006 \u2013 Object-Oriented Programming","author":"J Dedecker","year":"2006","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. LNCS, vol. 4067, pp. 230\u2013254. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11785477_16"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/11580850_12","volume-title":"Trustworthy Global Computing","author":"MS Miller","year":"2005","unstructured":"Miller, M.S., Tribble, E.D., Shapiro, J.: Concurrency among strangers. In: De Nicola, R., Sangiorgi, D. (eds.) TGC 2005. LNCS, vol. 3705, pp. 195\u2013229. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11580850_12"},{"issue":"1","key":"10_CR17","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/s10270-006-0011-2","volume":"6","author":"EB Johnsen","year":"2007","unstructured":"Johnsen, E.B., Owe, O.: An asynchronous communication model for distributed concurrent objects. Softw. Syst. Model. 6(1), 35\u201358 (2007)","journal-title":"Softw. Syst. Model."},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-642-14107-2_13","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"J Sch\u00e4fer","year":"2010","unstructured":"Sch\u00e4fer, J., Poetzsch-Heffter, A.: JCoBox: generalizing active objects to concurrent components. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol. 6183, pp. 275\u2013299. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14107-2_13"},{"key":"10_CR19","unstructured":"Armstrong, J.: Programming Erlang: Software for a Concurrent World. Pragmatic Bookshelf Series. Pragmatic Bookshelf (2007)"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Clebsch, S., Drossopoulou, S., Blessing, S., McNeil, A.: Deny capabilities for safe, fast actors. In: Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE 2015, pp. 1\u201312. Association for Computing Machinery, New York (2015)","DOI":"10.1145\/2824815.2824816"},{"key":"10_CR21","unstructured":"Castegren, E., Wrigstad, T.: Reference capabilities for concurrency control. In: Proceedings of the 30th European Conference on Object-Oriented Programming (ECOOP 2016). LIPIcs, vol. 56, pp. 5:1\u20135:26. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2016)"},{"key":"10_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/978-3-030-16722-6_20","volume-title":"Fundamental Approaches to Software Engineering","author":"N Bezirgiannis","year":"2019","unstructured":"Bezirgiannis, N., de Boer, F., Johnsen, E.B., Pun, K.I., Tapia Tarifa, S.L.: Implementing SOS with active objects: a case study of a multicore memory system. In: H\u00e4hnle, R., van der Aalst, W. (eds.) FASE 2019. LNCS, vol. 11424, pp. 332\u2013350. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-16722-6_20"},{"key":"10_CR23","doi-asserted-by":"publisher","unstructured":"Tveito, L., Johnsen, E.B., Schlatte, R.: Global reproducibility through local control for distributed active objects. In: Wehrheim H., Cabot J. (eds.) FASE 2020. LNCS, vol. 12076, pp. 140\u2013160. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-45234-6_7","DOI":"10.1007\/978-3-030-45234-6_7"},{"issue":"2\u20133","key":"10_CR24","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1016\/j.tcs.2008.09.019","volume":"410","author":"P Haller","year":"2009","unstructured":"Haller, P., Odersky, M.: Scala actors: unifying thread-based and event-based programming. Theoret. Comput. Sci. 410(2\u20133), 202\u2013220 (2009)","journal-title":"Theoret. Comput. Sci."},{"key":"10_CR25","unstructured":"Wyatt, D.: Akka Concurrency. Artima (2013)"},{"key":"10_CR26","unstructured":"Lohstroh, M., Lee, E.A.: Deterministic actors. In: 2019 Forum for Specification and Design Languages, FDL 2019, Southampton, United Kingdom, September 2\u20134, 2019, pp. 1\u20138. IEEE (2019)"},{"key":"10_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36946-9","volume-title":"Aliasing in Object-Oriented Programming. Types, Analysis and Verification","year":"2013","unstructured":"Clarke, D., Noble, J., Wrigstad, T. (eds.): Aliasing in Object-Oriented Programming. Types, Analysis and Verification. LNCS, vol. 7850. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-36946-9"},{"key":"10_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-540-89330-1_11","volume-title":"Programming Languages and Systems","author":"D Clarke","year":"2008","unstructured":"Clarke, D., Wrigstad, T., \u00d6stlund, J., Johnsen, E.B.: Minimal ownership for active objects. In: Ramalingam, G. (ed.) APLAS 2008. LNCS, vol. 5356, pp. 139\u2013154. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-89330-1_11"},{"key":"10_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/978-3-642-14107-2_17","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"P Haller","year":"2010","unstructured":"Haller, P., Odersky, M.: Capabilities for uniqueness and borrowing. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol. 6183, pp. 354\u2013378. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14107-2_17"},{"key":"10_CR30","unstructured":"Cohen, A., G\u00e9rard, L., Pouzet, M.: Programming parallelism with futures in Lustre. In: ACM International Conference on Embedded Software (EMSOFT 2012), Tampere, Finland. ACM, October 7\u201312, 2012. Best paper award"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-63461-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,14]],"date-time":"2021-04-14T05:43:49Z","timestamp":1618379029000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-63461-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030634605","9783030634612"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-63461-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"13 November 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Integrated Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lugano","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Switzerland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 November 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 November 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ifm2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ifm20.si.usi.ch\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"64","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"24","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"38% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6,5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Due to the Corona pandemic this event was held virtually.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}