1. Akka - scala actor library.
  2. Advanced Message Queuing Protocol homepage.
  3. Celery. http://
  4. Silvia Crafa: Behavioural Types for Actor Systems. arXiv:1206.1687.
  5. Kohei Honda, Nobuko Yoshida & Marco Carbone (2008): Multiparty asynchronous session types. In: POPL'08. ACM, pp. 273–284. Available at
  6. Raymond Hu, Rumyana Neykova, Nobuko Yoshida & Romain Demangeon (2013): Practical Interruptible Conversations: Distributed Dynamic Verification with Session Types and Python. In: RV'13, LNCS 8174. Springer, pp. 130–148. Available at
  7. Dimitris Mostrous & Vasco Thudichum Vasconcelos (2011): Session Typing for a Featherweight Erlang. In: COORDINATION, LNCS 6721. Springer, pp. 95–109. Available at
  8. Rumyana Neykova, Nobuko Yoshida & Raymond Hu (2013): SPY: Local Verification of Global Protocols. In: RV'13, LNCS 8174. Springer, pp. 358–363. Available at
  9. Ocean Observatories Initiative.
  10. Shangping Ren, Yue Yu, Nianen Chen, Kevin Marth, Pierre-Etienne Poirot & Limin Shen (2006): Actors, Roles and Coordinators - A Coordination Model for Open Distributed and Embedded Systems. In: COORDINATION, LNCS 4038. Springer, pp. 247–265. Available at
  11. Scribble project home page.
  12. Online Appendix for this paper.
  13. Samira Tasharofi, Peter Dinges & Ralph E. Johnson (2013): Why Do Scala Developers Mix the Actor Model with other Concurrency Models?. In: ECOOP 7920. Springer, pp. 302–326. Available at

Comments and questions to:
For website issues: