@inproceedings(applied,
 author       = "Mart\'{\i }n Abadi and C{\'e}dric Fournet",
 year         = "2001",
 title        = "Mobile values, new names, and secure communication",
 booktitle    = "POPL",
 pages        = "104--115",
 doi          = "10.1145/360204.360213",
)
@article(nmaMscThesis,
 author       = "Nuno Alves",
 year         = "2009",
 title        = "{A Secure Session-Based Distributed Programming Language}",
 journal      = "Imperial College London - MSc Thesis",
 note         = "\burl {http://www.doc.ic.ac.uk/teaching/distinguished-projects/2010/n.alves.pdf}",
)
@article(sessparallel,
 author       = "Andi Bejleri and Raymond Hu and Nobuko Yoshida",
 title        = "{Session-based Programming for Parallel Algorithms}",
 journal      = "Proceedings of the ETAPS workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software PLACES'09",
 doi          = "10.4204/EPTCS.17.2",
)
@inproceedings(crypto,
 author       = "Karthikeyan Bhargavan and Ricardo Corin and Pierre-Malo Deni{\'e}lou and C{\'e}dric Fournet and James J. Leifer",
 year         = "2009",
 title        = "Cryptographic Protocol Synthesis and Verification for Multiparty Sessions",
 booktitle    = "CSF",
 pages        = "124--140",
 doi          = "10.1109/CSF.2009.26",
)
@misc(CDLUSECASE,
 title        = "{Web Services Choreography Requirements}",
 howpublished = "\burl {http://www.w3.org/TR/ws-chor-reqs/}",
)
@inproceedings(CDFBL07,
 author       = "Ricardo Corin and Pierre-Malo Deni{\'e}lou and C{\'e}dric Fournet and Karthikeyan Bhargavan and James J. Leifer",
 year         = "2007",
 title        = "Secure Implementations for Typed Session Abstractions",
 booktitle    = "CSF",
 pages        = "170--186",
 doi          = "10.1109/CSF.2007.29",
)
@article(rfc5054,
 author       = "{D. Taylor, T. Wu, N. Mavrogiannopoulos, and T. Perrin}",
 year         = "2007",
 title        = "{Using the Secure Remote Password (SRP) Protocol for TLS Authentication}",
 journal      = "RFC 5054",
 url          = "http://tools.ietf.org/html/rfc5054",
)
@inproceedings(esop,
 author       = "Kohei Honda and Vasco T. Vasconcelos and Makoto Kubo",
 year         = "1998",
 title        = "{Language Primitives and Type Discipline for Structured Communication-Based Programming}",
 booktitle    = "ESOP '98: Proceedings of the 7th European Symposium on Programming",
 publisher    = "Springer-Verlag",
 doi          = "10.1016/j.entcs.2007.02.056",
)
@inproceedings(honda08multiparty,
 author       = "Kohei Honda and Nobuko Yoshida and Marco Carbone",
 year         = "2008",
 title        = "Multiparty asynchronous session types",
 booktitle    = "POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "273--284",
 doi          = "10.1145/1328438.1328472",
)
@inproceedings(sj,
 author       = "Raymond Hu and Nobuko Yoshida and Kohei Honda",
 year         = "2008",
 title        = "{Session-Based Distributed Programming in Java}",
 booktitle    = "ECOOP '08: Proceedings of the 22nd European conference on Object-Oriented Programming",
 pages        = "516--541",
 doi          = "10.1007/978-3-540-70592-5_22",
)
@inproceedings(tlca,
 author       = "Dimitris Mostrous and Nobuko Yoshida",
 year         = "2009",
 title        = "Session-Based Communication Optimisation for Higher-Order Mobile Processes",
 booktitle    = "TLCA '09",
 publisher    = "Springer",
 pages        = "203--218",
 doi          = "10.1007/978-3-642-02273-9_16",
)
@misc(sjhomepage,
 title        = "{SJ homepage}",
 howpublished = "\burl {http://www.doc.ic.ac.uk/ rhu/sessionj.html}",
)
@inproceedings(srp,
 author       = "Thomas Wu",
 year         = "1998",
 title        = "The secure remote password protocol",
 booktitle    = "Proceedings of the 1998 Internet Society Network and Distributed System Security Symposium",
 pages        = "97--111",
 url          = "http://www.isoc.org/isoc/conferences/ndss/98/wu.pdf",
)