{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T07:15:00Z","timestamp":1771485300336,"version":"3.50.1"},"reference-count":94,"publisher":"Association for Computing Machinery (ACM)","issue":"5","license":[{"start":{"date-parts":[[2017,10,5]],"date-time":"2017-10-05T00:00:00Z","timestamp":1507161600000},"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":["ACM Comput. Surv."],"published-print":{"date-parts":[[2018,9,30]]},"abstract":"<jats:p>To program parallel systems efficiently and easily, a wide range of programming models have been proposed, each with different choices concerning synchronization and communication between parallel entities. Among them, the actor model is based on loosely coupled parallel entities that communicate by means of asynchronous messages and mailboxes. Some actor languages provide a strong integration with object-oriented concepts; these are often called active object languages. This article reviews four major actor and active object languages and compares them according to carefully chosen dimensions that cover central aspects of the programming paradigms and their implementation.<\/jats:p>","DOI":"10.1145\/3122848","type":"journal-article","created":{"date-parts":[[2017,10,6]],"date-time":"2017-10-06T12:48:39Z","timestamp":1507294119000},"page":"1-39","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":75,"title":["A Survey of Active Object Languages"],"prefix":"10.1145","volume":"50","author":[{"given":"Frank De","family":"Boer","sequence":"first","affiliation":[{"name":"Centrum Wiskunde and Informatica, Amsterdam, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vlad","family":"Serbanescu","sequence":"additional","affiliation":[{"name":"Centrum Wiskunde and Informatica, Amsterdam, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reiner","family":"H\u00e4hnle","sequence":"additional","affiliation":[{"name":"TU Darmstadt, Darmstadt, Deutschland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7137-3523","authenticated-orcid":false,"given":"Ludovic","family":"Henrio","sequence":"additional","affiliation":[{"name":"Universit\u00e9 C\u00f4te d\u2019Azur, CNRS, I3S, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Justine","family":"Rochas","sequence":"additional","affiliation":[{"name":"Universit\u00e9 C\u00f4te d\u2019Azur, CNRS, I3S, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Crystal Chang","family":"Din","sequence":"additional","affiliation":[{"name":"University of Oslo, Oslo, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Einar Broch","family":"Johnsen","sequence":"additional","affiliation":[{"name":"University of Oslo, Oslo, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marjan","family":"Sirjani","sequence":"additional","affiliation":[{"name":"M\u00e4lardalen University and Reykjavik University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ehsan","family":"Khamespanah","sequence":"additional","affiliation":[{"name":"University of Tehran and Reykjavik University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kiko","family":"Fernandez-Reyes","sequence":"additional","affiliation":[{"name":"Uppsala University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Albert Mingkun","family":"Yang","sequence":"additional","affiliation":[{"name":"Uppsala University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,10,5]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.09.019"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.58.1"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/7929"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_46"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24953-7_21"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11761-013-0148-0"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-33693-0_26"},{"key":"e_1_2_1_8_1","unstructured":"Joe Armstrong. 2007. Programming Erlang Software for Concurrent World. Pragmatic Bookshelf.  Joe Armstrong. 2007. Programming Erlang Software for Concurrent World. Pragmatic Bookshelf."},{"key":"e_1_2_1_9_1","volume-title":"Proceedings of the Symposium on Artificial Intelligence and Programming Languages. ACM Press","author":"Jr G. Baker","unstructured":"Henry. G. Baker Jr . and Carl Hewitt. 1977. The incremental garbage collection of processes . In Proceedings of the Symposium on Artificial Intelligence and Programming Languages. ACM Press , New York, NY, 55--59. Henry. G. Baker Jr. and Carl Hewitt. 1977. The incremental garbage collection of processes. In Proceedings of the Symposium on Artificial Intelligence and Programming Languages. ACM Press, New York, NY, 55--59."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/72551.72552"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2270"},{"key":"e_1_2_1_12_1","volume-title":"Proceedings of the 3rd IPM International Conference on Fundamentals of Software Engineering (FSEN\u201909)","volume":"5961","author":"Behjati Razieh","year":"2009","unstructured":"Razieh Behjati , Marjan Sirjani , and Majid Nili Ahmadabadi . 2009 . Bounded rational search for on-the-fly model checking of LTL properties . In Proceedings of the 3rd IPM International Conference on Fundamentals of Software Engineering (FSEN\u201909) , Farhad Arbab and Marjan Sirjani (Eds.). LNCS , Vol. 5961 . Springer, 292--307. Razieh Behjati, Marjan Sirjani, and Majid Nili Ahmadabadi. 2009. Bounded rational search for on-the-fly model checking of LTL properties. In Proceedings of the 3rd IPM International Conference on Fundamentals of Software Engineering (FSEN\u201909), Farhad Arbab and Marjan Sirjani (Eds.). LNCS, Vol. 5961. Springer, 292--307."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2016.108"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-012-0184-5"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06410-9_9"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-18941-3_1"},{"key":"e_1_2_1_17_1","volume-title":"Antonio Flores Montoya, and Reiner H\u00e4hnle","author":"Bubel Richard","year":"2014","unstructured":"Richard Bubel , Antonio Flores Montoya, and Reiner H\u00e4hnle . 2014 . Analysis of executable software models. In Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Marco Bernardo, Ferruccio Damiani, Reiner H\u00e4hnle, Einar Broch Johnsen, and Ina Schaefer (Eds.). LNCS, Vol. 8483 . Springer , 1--27. Richard Bubel, Antonio Flores Montoya, and Reiner H\u00e4hnle. 2014. Analysis of executable software models. In Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Marco Bernardo, Ferruccio Damiani, Reiner H\u00e4hnle, Einar Broch Johnsen, and Ina Schaefer (Eds.). LNCS, Vol. 8483. Springer, 1--27."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2038916.2038932"},{"key":"e_1_2_1_19_1","volume-title":"Proceedings of the ECOOP Workshop on Exception Handling in Object-Oriented Systems","author":"Caromel Denis","year":"2005","unstructured":"Denis Caromel and Guillaume Chazarain . 2005 . Robust exception handling in an asynchronous environment . In Proceedings of the ECOOP Workshop on Exception Handling in Object-Oriented Systems (2005). Denis Caromel and Guillaume Chazarain. 2005. Robust exception handling in an asynchronous environment. In Proceedings of the ECOOP Workshop on Exception Handling in Object-Oriented Systems (2005)."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-76778-7_9"},{"key":"e_1_2_1_21_1","volume-title":"A Theory of Distributed Object","author":"Caromel Denis","unstructured":"Denis Caromel and Ludovic Henrio . 2005. A Theory of Distributed Object . Springer . Denis Caromel and Ludovic Henrio. 2005. A Theory of Distributed Object. Springer."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964012"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61487-7_25"},{"key":"e_1_2_1_24_1","volume-title":"Proceedings of the European Conference on Object-Oriented Programming (ECOOP\u201916)","volume":"56","author":"Castegren Elias","year":"2016","unstructured":"Elias Castegren and Tobias Wrigstad . 2016 . Reference capabilities for concurrency control . In Proceedings of the European Conference on Object-Oriented Programming (ECOOP\u201916) , Shriram Krishnamurthi and Benjamin S. Lerner (Eds.). LIPIcs , Vol. 56 . Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 5:1--5:26. Elias Castegren and Tobias Wrigstad. 2016. Reference capabilities for concurrency control. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP\u201916), Shriram Krishnamurthi and Benjamin S. Lerner (Eds.). LIPIcs, Vol. 56. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 5:1--5:26."},{"key":"e_1_2_1_25_1","volume-title":"Proceedings of the European Conference on Object-Oriented Programming (ECOOP\u201917)","volume":"74","author":"Castegren Elias","year":"2017","unstructured":"Elias Castegren and Tobias Wrigstad . 2017 . Relaxed linear references for lock-free data structures . In Proceedings of the European Conference on Object-Oriented Programming (ECOOP\u201917) , Peter M\u00fcller (Ed.). LIPIcs , Vol. 74 . Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 6:1--6:32. DOI:http:\/\/dx.doi.org\/10.4230\/LIPIcs.ECOOP.2017.6 10.4230\/LIPIcs.ECOOP.2017.6 Elias Castegren and Tobias Wrigstad. 2017. Relaxed linear references for lock-free data structures. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP\u201917), Peter M\u00fcller (Ed.). LIPIcs, Vol. 74. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 6:1--6:32. DOI:http:\/\/dx.doi.org\/10.4230\/LIPIcs.ECOOP.2017.6"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s004460050018"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89330-1_11"},{"key":"e_1_2_1_28_1","volume-title":"Talcott","author":"Clavel Manuel","year":"2007","unstructured":"Manuel Clavel , Francisco Dur\u00e1n , Steven Eker , Patrick Lincoln , Narciso Mart\u00ed-Oliet , Jos\u00e9 Meseguer , and Carolyn L . Talcott . 2007 . All About Maude\u2014A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. LNCS, Vol. 4350 . Springer . Manuel Clavel, Francisco Dur\u00e1n, Steven Eker, Patrick Lincoln, Narciso Mart\u00ed-Oliet, Jos\u00e9 Meseguer, and Carolyn L. Talcott. 2007. All About Maude\u2014A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. LNCS, Vol. 4350. Springer."},{"key":"e_1_2_1_29_1","volume-title":"Proceedings of the 10th Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems Workshop (ICOOOLPS\u201915)","author":"Clebsch Sylvan","year":"2015","unstructured":"Sylvan Clebsch , Sebastian Blessing , Juliana Franco , and Sophia Drossopoulou . 2015 . Ownership and reference counting based garbage collection in the actor world. (2015) . In Proceedings of the 10th Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems Workshop (ICOOOLPS\u201915) . Sylvan Clebsch, Sebastian Blessing, Juliana Franco, and Sophia Drossopoulou. 2015. Ownership and reference counting based garbage collection in the actor world. (2015). In Proceedings of the 10th Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems Workshop (ICOOOLPS\u201915)."},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509557"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2824815.2824816"},{"key":"e_1_2_1_32_1","volume-title":"Proceedings of the 4th International Conference on Object Oriented Information Systems (OOIS\u201997)","author":"Cugola Gianpaolo","year":"1997","unstructured":"Gianpaolo Cugola and Carlo Ghezzi . 1997 . CJava: Introducing concurrent objects in java . In Proceedings of the 4th International Conference on Object Oriented Information Systems (OOIS\u201997) , Maria E. Orlowska and Roberto Zicari (Eds.). Springer, 504--514. Gianpaolo Cugola and Carlo Ghezzi. 1997. CJava: Introducing concurrent objects in java. In Proceedings of the 4th International Conference on Object Oriented Information Systems (OOIS\u201997), Maria E. Orlowska and Roberto Zicari (Eds.). Springer, 504--514."},{"key":"e_1_2_1_33_1","volume-title":"Technical Report S-2","author":"Dahl Ole-Johan","unstructured":"Ole-Johan Dahl , Bj\u00f8rn Myrhaug , and Kristen Nygaard . 1968. ( Simula 67) Common Base Language . Technical Report S-2 . Norsk Regnesentral (Norwegian Computing Center) , Oslo, Norway . Ole-Johan Dahl, Bj\u00f8rn Myrhaug, and Kristen Nygaard. 1968. (Simula 67) Common Base Language. Technical Report S-2. Norsk Regnesentral (Norwegian Computing Center), Oslo, Norway."},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/365813.365819"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71316-6_22"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1327452.1327492"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/11785477_16"},{"key":"e_1_2_1_38_1","volume-title":"Automated Deduction (CADE-25), Amy P","author":"Din Crystal Chang","unstructured":"Crystal Chang Din , Richard Bubel , and Reiner H\u00e4hnle . 2015. KeY-ABS: A deductive verification tool for the concurrent modelling language ABS . In Automated Deduction (CADE-25), Amy P . Felty and Aart Middeldorp (Eds.). LNCS, Vol . 9195. Springer , 517--526. Crystal Chang Din, Richard Bubel, and Reiner H\u00e4hnle. 2015. KeY-ABS: A deductive verification tool for the concurrent modelling language ABS. In Automated Deduction (CADE-25), Amy P. Felty and Aart Middeldorp (Eds.). LNCS, Vol. 9195. Springer, 517--526."},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-014-0322-y"},{"key":"e_1_2_1_40_1","volume-title":"Proceedings of the 17th International Conference on Formal Engineering Methods (ICFEM\u201915)","volume":"9407","author":"Din Crystal Chang","unstructured":"Crystal Chang Din , S. Lizeth Tapia Tarifa, Reiner H\u00e4hnle, and Einar Broch Johnsen. 2015. History-based specification and verification of scalable concurrent and distributed systems . In Proceedings of the 17th International Conference on Formal Engineering Methods (ICFEM\u201915) , Michael Butler, Sylvain Conchon, and Fatiha Za\u00efdi (Eds.). LNCS , Vol. 9407 . Springer. Crystal Chang Din, S. Lizeth Tapia Tarifa, Reiner H\u00e4hnle, and Einar Broch Johnsen. 2015. History-based specification and verification of scalable concurrent and distributed systems. In Proceedings of the 17th International Conference on Formal Engineering Methods (ICFEM\u201915), Michael Butler, Sylvain Conchon, and Fatiha Za\u00efdi (Eds.). LNCS, Vol. 9407. Springer."},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54494-5_22"},{"key":"e_1_2_1_42_1","volume-title":"McCain","author":"Fernandez-Reyes Kiko","year":"2016","unstructured":"Kiko Fernandez-Reyes , Dave Clarke , and Daniel S . McCain . 2016 . ParT: An asynchronous parallel abstraction. In Proceedings of the 18th International Conference on Coordination Models and Languages (COORDINATION\u201916), Alberto Lluch Lafuente and Jos\u00e9 Proen\u00e7a (Eds.). LNCS, Vol. 9686 . Springer , 101--120. Kiko Fernandez-Reyes, Dave Clarke, and Daniel S. McCain. 2016. ParT: An asynchronous parallel abstraction. In Proceedings of the 18th International Conference on Coordination Models and Languages (COORDINATION\u201916), Alberto Lluch Lafuente and Jos\u00e9 Proen\u00e7a (Eds.). LNCS, Vol. 9686. Springer, 101--120."},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0444-y"},{"key":"e_1_2_1_44_1","volume-title":"Java Concurrency in Practice","author":"Goetz Brian","unstructured":"Brian Goetz , Tim Peierls , Joshua Bloch , Joseph Bowbeer , David Holmes , and Doug Lea . 2006. Java Concurrency in Practice . Addison-Wesley . Brian Goetz, Tim Peierls, Joshua Bloch, Joseph Bowbeer, David Holmes, and Doug Lea. 2006. Java Concurrency in Practice. Addison-Wesley."},{"key":"e_1_2_1_45_1","volume-title":"Michael Lienhardt, Davide Sangiorgi, Ina Schaefer, and Peter Y. H. Wong.","author":"H\u00e4hnle Reiner","year":"2013","unstructured":"Reiner H\u00e4hnle , Michiel Helvensteijn , Einar Broch Johnsen , Michael Lienhardt, Davide Sangiorgi, Ina Schaefer, and Peter Y. H. Wong. 2013 . HATS abstract behavioral specification: The architectural view. In Proceedings of the International Coference on Formal Methods for Components and Objects (FMCO\u201912), Bernhard Beckert, Ferruccio Damiani, Frank de Boer, and Marcello M. Bonsangue (Eds.). LNCS, Vol. 7542 . Springer , 109--132. Reiner H\u00e4hnle, Michiel Helvensteijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi, Ina Schaefer, and Peter Y. H. Wong. 2013. HATS abstract behavioral specification: The architectural view. In Proceedings of the International Coference on Formal Methods for Components and Objects (FMCO\u201912), Bernhard Beckert, Ferruccio Damiani, Frank de Boer, and Marcello M. Bonsangue (Eds.). LNCS, Vol. 7542. Springer, 109--132."},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.09.019"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/4472.4478"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.5555\/1123315.1123320"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38493-6_7"},{"key":"e_1_2_1_50_1","first-page":"7","article-title":"ASPfun: A typed functional active object calculus. Sci","volume":"77","author":"Henrio Ludovic","year":"2012","unstructured":"Ludovic Henrio , Florian Kamm\u00fcller , and Bianca Lutz . 2012 . ASPfun: A typed functional active object calculus. Sci . Comput. Program. 77 , 7 -- 8 (July 2012), 823--847. 01676423 Ludovic Henrio, Florian Kamm\u00fcller, and Bianca Lutz. 2012. ASPfun: A typed functional active object calculus. Sci. Comput. Program. 77, 7--8 (July 2012), 823--847. 01676423","journal-title":"Comput. Program."},{"key":"e_1_2_1_51_1","volume-title":"Nadia Ranaldo, and Eugenio Zimeo.","author":"Henrio Ludovic","year":"2010","unstructured":"Ludovic Henrio , Muhammad Uzair Khan , Nadia Ranaldo, and Eugenio Zimeo. 2010 . First class futures: Specification and implementation of update strategies. In Selected Papers of the Coregrid Workshop on Grids, Clouds and P2P Computing, Mario R. Guarracino, Fr\u00e9d\u00e9ric Vivien, Jesper Larsson Tr\u00e4ff, Mario Cannataro, Marco Danelutto, Anders Hast, Francesca Perla, Andreas Kn\u00fcpfer, Beniamino Di Martino, and Michael Alexander (Eds.). LNCS, Vol. 6586 . Springer , 295--303. Ludovic Henrio, Muhammad Uzair Khan, Nadia Ranaldo, and Eugenio Zimeo. 2010. First class futures: Specification and implementation of update strategies. In Selected Papers of the Coregrid Workshop on Grids, Clouds and P2P Computing, Mario R. Guarracino, Fr\u00e9d\u00e9ric Vivien, Jesper Larsson Tr\u00e4ff, Mario Cannataro, Marco Danelutto, Anders Hast, Francesca Perla, Andreas Kn\u00fcpfer, Beniamino Di Martino, and Michael Alexander (Eds.). LNCS, Vol. 6586. Springer, 295--303."},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.5555\/3089458.3089465"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2554850.2554957"},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-39519-7_13"},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.5555\/1624775.1624804"},{"key":"e_1_2_1_56_1","volume-title":"Full ABS Modeling Framework. (March","author":"Adaptable Highly","year":"2011","unstructured":"Highly Adaptable and Trustworthy Software using Formal Models 2011. Full ABS Modeling Framework. (March 2011 ). Deliverable 1.2 of project FP7-231620 (HATS) retrieved from http:\/\/www.hats-project.eu. Highly Adaptable and Trustworthy Software using Formal Models 2011. Full ABS Modeling Framework. (March 2011). Deliverable 1.2 of project FP7-231620 (HATS) retrieved from http:\/\/www.hats-project.eu."},{"key":"e_1_2_1_57_1","volume-title":"Communicating Sequential Processes","author":"Hoare Tony","unstructured":"Tony Hoare . 1985. Communicating Sequential Processes . Prentice Hall . Tony Hoare. 1985. Communicating Sequential Processes. Prentice Hall."},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2007.24"},{"key":"e_1_2_1_59_1","volume-title":"Performance analysis of distributed and asynchronous systems using probabilistic timed actors. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70","author":"Jafari Ali","year":"2014","unstructured":"Ali Jafari , Ehsan Khamespanah , Marjan Sirjani , and Holger Hermanns . 2014. Performance analysis of distributed and asynchronous systems using probabilistic timed actors. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 ( 2014 ). Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, and Holger Hermanns. 2014. Performance analysis of distributed and asynchronous systems using probabilistic timed actors. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)."},{"key":"e_1_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-009-0111-x"},{"key":"e_1_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25271-6_8"},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-006-0011-2"},{"key":"e_1_2_1_63_1","volume-title":"Proceedings of the of the Norwegian Informatics Conference (NIK\u201903)","author":"Johnsen Einar Broch","year":"2003","unstructured":"Einar Broch Johnsen , Olaf Owe , and Marte Arnestad . 2003 . Combining active and reactive behavior in concurrent objects . In Proceedings of the of the Norwegian Informatics Conference (NIK\u201903) , Dag Langmyhr (Ed.). Tapir Academic Publisher, 193--204. Einar Broch Johnsen, Olaf Owe, and Marte Arnestad. 2003. Combining active and reactive behavior in concurrent objects. In Proceedings of the of the Norwegian Informatics Conference (NIK\u201903), Dag Langmyhr (Ed.). Tapir Academic Publisher, 193--204."},{"key":"e_1_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.07.031"},{"key":"e_1_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2014.07.001"},{"key":"e_1_2_1_66_1","volume-title":"Zeynab Sabahi-Kaviani, and Mohamadreza Razzazi.","author":"Khamespanah Ehsan","year":"2015","unstructured":"Ehsan Khamespanah , Marjan Sirjani , Mohammad Reza Mousavi , Zeynab Sabahi-Kaviani, and Mohamadreza Razzazi. 2015 a. State distribution policy for distributed model checking of actor models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol . 72 (2015). Ehsan Khamespanah, Marjan Sirjani, Mohammad Reza Mousavi, Zeynab Sabahi-Kaviani, and Mohamadreza Razzazi. 2015a. State distribution policy for distributed model checking of actor models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015)."},{"key":"e_1_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.07.005"},{"key":"e_1_2_1_68_1","volume-title":"Proceedings of the 12th Intl. Symp. on Formal Aspects of Component Software (FACS), Christiano Braga and Peter Csaba \u00d6lveczky (Eds.). LNCS","volume":"9539","author":"Khamespanah Ehsan","year":"2015","unstructured":"Ehsan Khamespanah , Marjan Sirjani , Mahesh Viswanathan , and Ramtin Khosravi . 2015 c. Floating time transition system: More efficient analysis of timed actors . In Proceedings of the 12th Intl. Symp. on Formal Aspects of Component Software (FACS), Christiano Braga and Peter Csaba \u00d6lveczky (Eds.). LNCS , Vol. 9539 . Springer, 237--255. Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan, and Ramtin Khosravi. 2015c. Floating time transition system: More efficient analysis of timed actors. In Proceedings of the 12th Intl. Symp. on Formal Aspects of Component Software (FACS), Christiano Braga and Peter Csaba \u00d6lveczky (Eds.). LNCS, Vol. 9539. Springer, 237--255."},{"key":"e_1_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/2508075.2514573"},{"key":"e_1_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/53990.54016"},{"key":"e_1_2_1_71_1","volume-title":"Parallel Combinators for the Encore Programming Language. Master\u2019s thesis","author":"McCain Daniel","unstructured":"Daniel McCain . 2015. Parallel Combinators for the Encore Programming Language. Master\u2019s thesis . Uppsala University . Daniel McCain. 2015. Parallel Combinators for the Encore Programming Language. Master\u2019s thesis. Uppsala University."},{"key":"e_1_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/162685.162705"},{"key":"e_1_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1007\/11580850_12"},{"key":"e_1_2_1_75_1","volume-title":"Communication and Concurrency","author":"Milner Robin","unstructured":"Robin Milner . 1989. Communication and Concurrency . Prentice Hall . Robin Milner. 1989. Communication and Concurrency. Prentice Hall."},{"key":"e_1_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8528-6"},{"key":"e_1_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/1880050.1880055"},{"key":"e_1_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.01.008"},{"key":"e_1_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2015.07.003"},{"key":"e_1_2_1_81_1","first-page":"207","article-title":"Modeling and verification of reconfigurable actor families","volume":"19","author":"Sabouri Hamideh","year":"2013","unstructured":"Hamideh Sabouri and Ramtin Khosravi . 2013 . Modeling and verification of reconfigurable actor families . J. Univers. Comput. Sci. 19 , 2 (2013), 207 -- 232 . Hamideh Sabouri and Ramtin Khosravi. 2013. Modeling and verification of reconfigurable actor families. J. Univers. Comput. Sci. 19, 2 (2013), 207--232.","journal-title":"J. Univers. Comput. Sci."},{"key":"e_1_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14107-2_13"},{"key":"e_1_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-13464-2_8"},{"key":"e_1_2_1_84_1","volume-title":"Proceedings of the 9th International Symposium on Formal Aspects of Component Software (FACS\u201912)","volume":"7684","author":"Sigurdarson Steinar Hugi","year":"2012","unstructured":"Steinar Hugi Sigurdarson , Marjan Sirjani , Yngvi Bj\u00f6rnsson , and Arni Hermann Reynisson . 2012 . Guided search for deadlocks in actor-based models . In Proceedings of the 9th International Symposium on Formal Aspects of Component Software (FACS\u201912) , Corina S. Pasareanu and Gwen Sala\u00fcn (Eds.). LNCS , Vol. 7684 . Springer, 242--259. Steinar Hugi Sigurdarson, Marjan Sirjani, Yngvi Bj\u00f6rnsson, and Arni Hermann Reynisson. 2012. Guided search for deadlocks in actor-based models. In Proceedings of the 9th International Symposium on Formal Aspects of Component Software (FACS\u201912), Corina S. Pasareanu and Gwen Sala\u00fcn (Eds.). LNCS, Vol. 7684. Springer, 242--259."},{"key":"e_1_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2005.12"},{"key":"e_1_2_1_86_1","first-page":"1695","article-title":"Modular verification of a component-based actor language","volume":"11","author":"Sirjani Marjan","year":"2005","unstructured":"Marjan Sirjani , Frank S. de Boer , and Ali Movaghar-Rahimabadi . 2005 . Modular verification of a component-based actor language . J. Univers. Comput. Sci. 11 , 10 (2005), 1695 -- 1717 . Marjan Sirjani, Frank S. de Boer, and Ali Movaghar-Rahimabadi. 2005. Modular verification of a component-based actor language. J. Univers. Comput. Sci. 11, 10 (2005), 1695--1717.","journal-title":"J. Univers. Comput. Sci."},{"key":"e_1_2_1_87_1","volume-title":"Formal Modeling: Actors, Open Systems, Biological Systems, Gul Agha, Olivier Danvy, and Jos\u00e9 Meseguer (Eds.). LNCS","author":"Sirjani Marjan","unstructured":"Marjan Sirjani and Mohammad Mahdi Jaghoori . 2011. Ten years of analyzing actors: Rebeca experience . In Formal Modeling: Actors, Open Systems, Biological Systems, Gul Agha, Olivier Danvy, and Jos\u00e9 Meseguer (Eds.). LNCS , Vol. 7000 . Springer , 20--56. Marjan Sirjani and Mohammad Mahdi Jaghoori. 2011. Ten years of analyzing actors: Rebeca experience. In Formal Modeling: Actors, Open Systems, Biological Systems, Gul Agha, Olivier Danvy, and Jos\u00e9 Meseguer (Eds.). LNCS, Vol. 7000. Springer, 20--56."},{"key":"e_1_2_1_88_1","volume-title":"Proceedings of the 11th Computer Science of Iran Computer Conference (CSICC\u201901)","author":"Sirjani Marjan","year":"2001","unstructured":"Marjan Sirjani , Movaghar, and Mohammad Reza Mousavi . 2001 . Compositional verification of an object-based model for reactive systems . In Proceedings of the 11th Computer Science of Iran Computer Conference (CSICC\u201901) . Marjan Sirjani, Movaghar, and Mohammad Reza Mousavi. 2001. Compositional verification of an object-based model for reactive systems. In Proceedings of the 11th Computer Science of Iran Computer Conference (CSICC\u201901)."},{"key":"e_1_2_1_89_1","doi-asserted-by":"publisher","DOI":"10.5555\/2370686.2370691"},{"key":"e_1_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0250-1"},{"key":"e_1_2_1_91_1","unstructured":"Derek Wyatt. 2013. Akka Concurrency. Artima.  Derek Wyatt. 2013. Akka Concurrency. Artima."},{"key":"e_1_2_1_92_1","volume-title":"Concurrent programming in concurrentSmalltalk","author":"Yokote Yasuhiko","unstructured":"Yasuhiko Yokote and Mario Tokoro . 1987. Concurrent programming in concurrentSmalltalk . In Object-Oriented Concurrent Programming, Akinori Yonezawa and Mario Tokoro (Eds.). MIT Press , 129--158. Yasuhiko Yokote and Mario Tokoro. 1987. Concurrent programming in concurrentSmalltalk. In Object-Oriented Concurrent Programming, Akinori Yonezawa and Mario Tokoro (Eds.). MIT Press, 129--158."},{"key":"e_1_2_1_93_1","doi-asserted-by":"publisher","DOI":"10.1145\/28697.28722"},{"key":"e_1_2_1_94_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24644-4_5"},{"key":"e_1_2_1_95_1","doi-asserted-by":"crossref","unstructured":"Behnaz Yousefi Fatemeh Ghassemi and Ramtin Khosravi. 2016. Modeling and efficient verification of wireless ad hoc networks (unpublished).  Behnaz Yousefi Fatemeh Ghassemi and Ramtin Khosravi. 2016. Modeling and efficient verification of wireless ad hoc networks (unpublished).","DOI":"10.1007\/s00165-017-0429-z"}],"container-title":["ACM Computing Surveys"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3122848","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3122848","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:05:08Z","timestamp":1750273508000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3122848"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,5]]},"references-count":94,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2018,9,30]]}},"alternative-id":["10.1145\/3122848"],"URL":"https:\/\/doi.org\/10.1145\/3122848","relation":{},"ISSN":["0360-0300","1557-7341"],"issn-type":[{"value":"0360-0300","type":"print"},{"value":"1557-7341","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,10,5]]},"assertion":[{"value":"2016-11-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-07-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-10-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}