Akka - scala actor library http://akka.io/ Advanced Message Queuing Protocol homepage http://www.amqp.org/ Celery http://http://www.celeryproject.org// Silvia Crafa Behavioural Types for Actor Systems arXiv:1206.1687 Kohei Honda Nobuko Yoshida Marco Carbone 2008 Multiparty asynchronous session types POPL'08 ACM 273–284 http://dx.doi.org/10.1145/1328438.1328472 Raymond Hu Rumyana Neykova Nobuko Yoshida Romain Demangeon 2013 Practical Interruptible Conversations: Distributed Dynamic Verification with Session Types and Python RV'13 LNCS 8174 Springer 130–148 http://dx.doi.org/10.1007/978-3-642-40787-1_8 Dimitris Mostrous Vasco Thudichum Vasconcelos 2011 Session Typing for a Featherweight Erlang COORDINATION LNCS 6721 Springer 95–109 http://dx.doi.org/10.1007/978-3-642-21464-6_7 Rumyana Neykova Nobuko Yoshida Raymond Hu 2013 SPY: Local Verification of Global Protocols RV'13 LNCS 8174 Springer 358–363 http://dx.doi.org/10.1007/978-3-642-40787-1_25 Ocean Observatories Initiative http://www.oceanobservatories.org/ 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 COORDINATION LNCS 4038 Springer 247–265 http://dx.doi.org/10.1007/11767954_16 Scribble project home page http://www.scribble.org Online Appendix for this paper http://www.doc.ic.ac.uk/~rn710/sactor Samira Tasharofi Peter Dinges Ralph E. Johnson 2013 Why Do Scala Developers Mix the Actor Model with other Concurrency Models? ECOOP 7920 Springer 302–326 http://dx.doi.org/10.1007/978-3-642-39038-8_13