References

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

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org