@techreport(Agha90, author = {Gul Agha}, year = {1985}, title = {Actors: A model of concurrent computation in distributed systems.}, type = {Technical Report}, institution = {DTIC Document}, ) @incollection(brandauer2015parallel, author = {Stephan Brandauer and Elias Castegren and Dave Clarke and Fernandez-Reyes, Kiko and Einar Broch Johnsen and Ka I Pun and S Lizeth Tapia Tarifa and Tobias Wrigstad and Albert Mingkun Yang}, year = {2015}, title = {Parallel objects for multicores: A glimpse at the parallel language encore}, booktitle = {Formal Methods for Multicore Programming}, publisher = {Springer}, pages = {1--56}, doi = {10.1007/978-3-319-18941-3\_1}, ) @inproceedings(Caromel08, author = {Denis Caromel}, year = {2008}, title = {Keynote 1-Strong Programming Model for Strong Weak Mobility: The ProActive Parallel Suite}, booktitle = {Mobile Data Management, 2008. MDM'08. 9th International Conference on}, organization = {IEEE}, pages = {xvi--xvi}, doi = {10.1109/MDM.2008.45}, ) @article(dagum1998openmp, author = {Leonardo Dagum and Rameshm Enon}, year = {1998}, title = {OpenMP: an industry standard API for shared-memory programming}, journal = {Computational Science \& Engineering, IEEE}, volume = {5}, number = {1}, pages = {46--55}, doi = {10.1109/99.660313}, ) @incollection(BoerCJ07, author = {De Boer, Frank S and Dave Clarke and Einar Broch Johnsen}, year = {2007}, title = {A complete guide to the future}, booktitle = {Programming Languages and Systems}, publisher = {Springer}, pages = {316--330}, doi = {10.1007/978-3-540-71316-6\_22}, ) @inproceedings(part2016, author = {Fernandez-Reyes, Kiko and Dave Clarke and Daniel S McCain}, year = {2016}, title = {ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations}, booktitle = {International Conference on Coordination Languages and Models}, organization = {Springer}, pages = {101--120}, doi = {10.1007/978-3-319-39519-7\_7}, ) @article(Haller2009202, author = {Philipp Haller and Martin Odersky}, year = {2009}, title = {Scala actors: Unifying thread-based and event-based programming}, journal = {Theoretical Computer Science}, volume = {410}, number = {2}, pages = {202--220}, doi = {10.1016/j.tcs.2008.09.019}, ) @article(haustein2006jac, author = {Max Haustein and Klaus-Peter L{\"o}hr}, year = {2006}, title = {Jac: declarative Java concurrency}, journal = {Concurrency and Computation: Practice and Experience}, volume = {18}, number = {5}, pages = {519--546}, doi = {10.1002/cpe.956}, ) @inproceedings(henrio2013multi, author = {Ludovic Henrio and Fabrice Huet and Zsolt Istv{\'a}n}, year = {2013}, title = {Multi-threaded Active Objects.}, booktitle = {COORDINATION}, organization = {Springer}, pages = {90--104}, doi = {10.1007/978-3-642-38493-6\_7}, ) @inproceedings(johnsen10fmco, author = {Einar Broch Johnsen and Reiner H{\"a}hnle and Jan Sch{\"a}fer and Rudolf Schlatte and Martin Steffen}, year = {2010}, title = {ABS: A core language for abstract behavioral specification}, booktitle = {Formal Methods for Components and Objects}, organization = {Springer}, pages = {142--164}, doi = {10.1007/978-3-642-25271-6\_8}, ) @article(JohnsenO07, author = {Einar Broch Johnsen and Olaf Owe}, year = {2007}, title = {An asynchronous communication model for distributed concurrent objects}, journal = {Software \& Systems Modeling}, volume = {6}, number = {1}, pages = {39--58}, doi = {10.1007/s10270-006-0011-2}, ) @article(Johnsen2016, author = {Einar Broch Johnsen and Olaf Owe and Dave Clarke and Bj{\o}rk, Joakim}, year = {2016}, title = {A formal model of service-oriented dynamic object groups}, journal = {Science of Computer Programming}, volume = {115}, pages = {3--22}, doi = {10.1016/j.scico.2014.11.014}, ) @incollection(Pierce94, author = {Benjamin C Pierce and David N Turner}, year = {1995}, title = {Concurrent objects in a process calculus}, booktitle = {Theory and Practice of Parallel Programming}, publisher = {Springer}, pages = {187--215}, doi = {10.1007/BFb0026570}, ) @article(Plotkin04a, author = {Gordon D Plotkin}, year = {2004}, title = {A structural approach to operational semantics}, journal = {J. Log. Algebr. Program.}, volume = {60}, number = {61}, pages = {17--139}, doi = {10.1016/j.jlap.2004.03.002}, ) @incollection(SchaferP10, author = {Jan Sch{\"a}fer and Poetzsch-Heffter, Arnd}, year = {2010}, title = {JCoBox: Generalizing active objects to concurrent components}, booktitle = {ECOOP 2010--Object-Oriented Programming}, publisher = {Springer}, pages = {275--299}, doi = {10.1007/978-3-642-14107-2\_13}, ) @article(ScholliersTM14, author = {Christophe Scholliers and {\'E}ric Tanter and De Meuter, Wolfgang}, year = {2014}, title = {Parallel actor monitors: Disentangling task-level parallelism from data partitioning in the actor model}, journal = {Science of Computer Programming}, volume = {80}, pages = {52--64}, doi = {10.1016/j.scico.2013.03.011}, ) @inproceedings(Sirjani06, author = {Marjan Sirjani}, year = {2007}, title = {Rebeca: Theory, applications, and tools}, booktitle = {Formal Methods for Components and Objects}, organization = {Springer}, pages = {102--126}, doi = {10.1007/978-3-540-74792-5\_5}, ) @inproceedings(MBDM07, author = {Van Cutsem, Thierry and Stijn Mostinckx and Elisa Gonzalez Boix and Jessie Dedecker and De Meuter, Wolfgang}, year = {2007}, title = {Ambienttalk: object-oriented event-driven programming in mobile ad hoc networks}, booktitle = {Chilean Society of Computer Science, 2007. SCCC'07. XXVI International Conference of the}, organization = {IEEE}, pages = {3--12}, doi = {10.1109/SCCC.2007.4}, ) @misc(williams2001method, author = {Antonty S Williams and Alexander A Mitchell and Robert G Atkinson and C Douglas Hodges and Johann Posch and Craig H Wittenberg}, year = {2001}, title = {Method and system for multi-threaded processing}, note = {US Patent 6,182,108}, )