@inproceedings(DBLP:conf/lics/BengtsonJPV09,
 author       = "Jesper Bengtson and Magnus Johansson and Joachim Parrow and Bj{\"o}rn Victor",
 year         = "2009",
 title        = "Psi-calculi: Mobile Processes, Nominal Data, and Logic",
 booktitle    = "LICS",
 pages        = "39--48",
 doi          = "10.1109/LICS.2009.20",
)
@inproceedings(conf/sefm/BorgstromHJRVPP11,
 author       = "Johannes Borgstr\"{o}m and Shuqin Huang and Magnus Johansson and Palle Raabjerg and Bj\"{o}rn Victor and Johannes {{\r A}man Pohjola} and Joachim Parrow",
 year         = "2011",
 title        = "Broadcast Psi-calculi with an Application to Wireless Protocols.",
 editor       = "Gilles Barthe and Alberto Pardo and Gerardo Schneider",
 booktitle    = "SEFM",
 series       = "Lecture Notes in Computer Science",
 volume       = "7041",
 publisher    = "Springer",
 pages        = "74--89",
 doi          = "10.1007/978-3-642-24690-6\_7",
)
@article(CGY2014,
 author       = "Sara Capecchi and Elena Giachino and Nobuko Yoshida",
 year         = "2014",
 title        = "Global Escape in Multiparty Sessions",
 journal      = "Mathematical Structures in Computer Science",
 note         = "To appear",
)
@inproceedings(CarboneHY08,
 author       = "Marco Carbone and Kohei Honda and Nobuko Yoshida",
 year         = "2008",
 title        = "Structured Interactional Exceptions in Session Types",
 booktitle    = "CONCUR",
 series       = "LNCS",
 volume       = "5201",
 publisher    = "Springer",
 pages        = "402--417",
 doi          = "10.1007/978-3-540-85361-9\_32",
)
@inproceedings(honda.vasconcelos.kubo:language-primitives,
 author       = "Kohei Honda and Vasco T. Vasconcelos and Makoto Kubo",
 year         = "1998",
 title        = "Language Primitives and Type Disciplines for Structured Communication-based Programming",
 booktitle    = "ESOP'98",
 series       = "LNCS",
 volume       = "1381",
 publisher    = "Springer",
 pages        = "22--138",
 doi          = "10.1007/BFb0053567",
)
@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",
 doi          = "10.1145/1328897.1328472",
)
@article(yoshida.vasconcelos:language-primitives,
 author       = "Nobuko Yoshida and Vasco Thudichum Vasconcelos",
 year         = "2007",
 title        = "Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "171",
 number       = "4",
 pages        = "73--93",
 doi          = "10.1016/j.entcs.2007.02.056",
)