@misc(AKKA,
 title        = "Akka - scala actor library",
 howpublished = "http://akka.io/",
)
@misc(AMQP,
 title        = "{A}dvanced {M}essage {Q}ueuing {P}rotocol homepage",
 howpublished = "\url {http://www.amqp.org/}",
)
@misc(celery,
 title        = "Celery",
 howpublished = "\url {http://http://www.celeryproject.org//}",
)
@misc(Crafa,
 author       = "Silvia Crafa",
 title        = "Behavioural Types for Actor Systems",
 note         = "\url {arXiv:1206.1687}",
)
@inproceedings(HYC08,
 author       = "Kohei Honda and Nobuko Yoshida and Marco Carbone",
 year         = "2008",
 title        = "{Multiparty asynchronous session types}",
 booktitle    = "POPL'08",
 publisher    = "ACM",
 pages        = "273--284",
 url          = "http://dx.doi.org/10.1145/1328438.1328472",
)
@inproceedings(RVPaper,
 author       = "Raymond Hu and Rumyana Neykova and Nobuko Yoshida and Romain Demangeon",
 year         = "2013",
 title        = "{Practical Interruptible Conversations: Distributed Dynamic Verification with Session Types and Python}",
 booktitle    = "RV'13",
 series       = "LNCS",
 volume       = "8174",
 publisher    = "Springer",
 pages        = "130--148",
 url          = "http://dx.doi.org/10.1007/978-3-642-40787-1_8",
)
@inproceedings(MostrousV11,
 author       = "Dimitris Mostrous and Vasco~Thudichum Vasconcelos",
 year         = "2011",
 title        = "Session Typing for a Featherweight Erlang",
 booktitle    = "COORDINATION",
 series       = "LNCS",
 volume       = "6721",
 publisher    = "Springer",
 pages        = "95--109",
 url          = "http://dx.doi.org/10.1007/978-3-642-21464-6_7",
)
@inproceedings(RVTool,
 author       = "Rumyana Neykova and Nobuko Yoshida and Raymond Hu",
 year         = "2013",
 title        = "{SPY: Local Verification of Global Protocols}",
 booktitle    = "RV'13",
 series       = "LNCS",
 volume       = "8174",
 publisher    = "Springer",
 pages        = "358--363",
 url          = "http://dx.doi.org/10.1007/978-3-642-40787-1_25",
)
@misc(OOI,
 title        = "{Ocean Observatories Initiative}",
 note         = "\url {http://www.oceanobservatories.org/}",
)
@inproceedings(ARC06,
 author       = "Shangping Ren and Yue Yu and Nianen Chen and Kevin Marth and Pierre-Etienne Poirot and Limin Shen",
 year         = "2006",
 title        = "Actors, Roles and Coordinators - A Coordination Model for Open Distributed and Embedded Systems",
 booktitle    = "COORDINATION",
 series       = "LNCS",
 volume       = "4038",
 publisher    = "Springer",
 pages        = "247--265",
 url          = "http://dx.doi.org/10.1007/11767954_16",
)
@misc(scribble,
 title        = "{{S}cribble project home page}",
 note         = "\url {http://www.scribble.org}",
)
@misc(OnlineAppendix,
 title        = "Online Appendix for this paper",
 howpublished = "\url {http://www.doc.ic.ac.uk/~rn710/sactor}",
)
@inproceedings(TasharofiDJ13,
 author       = "Samira Tasharofi and Peter Dinges and Ralph~E. Johnson",
 year         = "2013",
 title        = "Why Do Scala Developers Mix the Actor Model with other Concurrency Models?",
 booktitle    = "ECOOP",
 volume       = "7920",
 publisher    = "Springer",
 pages        = "302--326",
 url          = "http://dx.doi.org/10.1007/978-3-642-39038-8_13",
)