Silvia Crafa:
Behavioural Types for Actor Systems.
arXiv:1206.1687.
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.
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.
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.
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.
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.
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?.
In: ECOOP 7920.
Springer,
pp. 302–326.
Available at http://dx.doi.org/10.1007/978-3-642-39038-8_13.