References

1. Akka - scala actor library. http://akka.io/.
2. Advanced Message Queuing Protocol homepage. http://www.amqp.org/.
3. Celery. http://http://www.celeryproject.org//.
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 http://dx.doi.org/10.1145/1328438.1328472.
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 http://dx.doi.org/10.1007/978-3-642-40787-1_8.
7. Dimitris Mostrous & Vasco Thudichum Vasconcelos (2011): Session Typing for a Featherweight Erlang. In: COORDINATION, LNCS 6721. Springer, pp. 95–109. Available at http://dx.doi.org/10.1007/978-3-642-21464-6_7.
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 http://dx.doi.org/10.1007/978-3-642-40787-1_25.
9. Ocean Observatories Initiative. http://www.oceanobservatories.org/.
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 http://dx.doi.org/10.1007/11767954_16.
11. Scribble project home page. http://www.scribble.org.
12. Online Appendix for this paper. http://www.doc.ic.ac.uk/~rn710/sactor.
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 http://dx.doi.org/10.1007/978-3-642-39038-8_13.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org