References

  1. Gul A. Agha (1986): ACTORS: A Model of Concurrent Computation in Distributed Systems. Series in Artificial Intelligence. The MIT Press, Cambridge, Massachusetts.
  2. Nada Amin, Samuel Grütter, Martin Odersky, Tiark Rompf & Sandro Stucki (2016): The Essence of Dependent Object Types. In: A List of Successes That Can Change the World. Springer, pp. 249–272, doi:10.1007/978-3-319-30936-1_14.
  3. Dave Clarke, Tobias Wrigstad, Johan Östlund & Einar Broch Johnsen (2008): Minimal Ownership for Active Objects. In: APLAS. Springer, pp. 139–154, doi:10.1007/978-3-540-89330-1_11.
  4. Sylvan Clebsch, Sophia Drossopoulou, Sebastian Blessing & Andy McNeil (2015): Deny capabilities for safe, fast actors. In: AGERE!@SPLASH. ACM, pp. 1–12, doi:10.1145/2824815.2824816.
  5. Philipp Haller & Alex Loiko (2016): LaCasa: Lightweight affinity and object capabilities in Scala. In: OOPSLA. ACM, pp. 272–291, doi:10.1145/2983990.2984042.
  6. Carl Hewitt, Peter Bishop & Richard Steiger (1973): A Universal Modular ACTOR Formalism for Artificial Intelligence. In: IJCAI. William Kaufmann, pp. 235–245.
  7. Shams Mahmood Imam & Vivek Sarkar (2014): Savina - An Actor Benchmark Suite: Enabling Empirical Evaluation of Actor Libraries. In: AGERE!@SPLASH. ACM, pp. 67–80, doi:10.1145/2687357.2687368.
  8. Lightbend, Inc. (2009): Akka. http://akka.io/.
  9. Ashton Mason (2012): The ThreadRing benchmark. http://www.theron-library.com/index.php?t=page&p=threadring.
  10. Heather Miller, Philipp Haller & Martin Odersky (2014): Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution. In: ECOOP. Springer, pp. 308–333, doi:10.1007/978-3-662-44202-9_13.
  11. Mark Samuel Miller (2006): Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control. Johns Hopkins University, Baltimore, Maryland, USA.
  12. Stas Negara, Rajesh K. Karmani & Gul A. Agha (2011): Inferring ownership transfer for efficient message passing. In: PPOPP. ACM, pp. 81–90, doi:10.1145/1941553.1941566.
  13. Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee & Kwangkeun Yi (2012): The implicit calculus: a new foundation for generic programming. In: PLDI. ACM, pp. 35–44, doi:10.1145/2254064.2254070.
  14. Sriram Srinivasan & Alan Mycroft (2008): Kilim: Isolation-Typed Actors for Java. In: ECOOP. Springer, pp. 104–128, doi:10.1007/978-3-540-70592-5_6.
  15. Aaron Turon (2017): Rust: from POPL to practice (keynote). In: POPL. ACM, pp. 2, doi:10.1145/3009837.3011999.

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