@misc(short:MartinB:twophacpiaepc,
 author       = "Martin Berger and Kohei Honda",
 year         = "2003",
 title        = "The Two-Phase Commitment Protocol in an Extended $\pi $-Calculus",
 url          = "http://dx.doi.org/10.1016/S1571-0661(05)82502-2",
 note         = "EXPRESS'00, 7th International Workshop on Expressiveness in Concurrency",
)
@misc(short:BergstraJA:hanproa,
 author       = "Jan A. Bergstra and Alban Ponse and Scott A. Smolka",
 title        = "{H}andbook of {P}rocess {A}lgebra",
)
@inproceedings(BettiniCDLDY08,
 author       = "Lorenzo Bettini and Mario Coppo and Loris D’Antoni and Marco De Luca and Mariangiola Dezani-Ciancaglini and Nobuko Yoshida",
 year         = "2008",
 title        = "Global Progress in Dynamically Interleaved Multiparty Sessions",
 booktitle    = "CONCUR",
 series       = "LNCS",
 volume       = "5201",
 publisher    = "Springer",
 pages        = "418--433",
 url          = "http://dx.doi.org/10.1007/978-3-540-85361-9_33",
)
@inproceedings(BocchiCDHY13,
 author       = "Laura Bocchi and Tzu-Chun Chen and Romain Demangeon and Kohei Honda and Nobuko Yoshida",
 year         = "2013",
 title        = "{Monitoring Networks through Multiparty Session Types}",
 booktitle    = "FMOODS/FORTE",
 series       = "LNCS",
 volume       = "7892",
 publisher    = "Springer",
 pages        = "50--65",
 url          = "http://dx.doi.org/10.1007/978-3-642-38592-6_5",
)
@inproceedings(BHTY10,
 author       = "Laura Bocchi and Kohei Honda and Emilio Tuosto and Nobuko Yoshida",
 year         = "2010",
 title        = "{A Theory of Design-by-contract for Distributed Multiparty Interactions}",
 booktitle    = "CONCUR",
 series       = "LNCS",
 publisher    = "Springer",
 pages        = "162--176",
 url          = "http://dx.doi.org/10.1007/978-3-642-15375-4_12",
)
@inproceedings(bonotgc11,
 author       = "Viviana Bono and Sara Capecchi and Ilaria Castellani and Mariangiola Dezani-Ciancaglini",
 year         = "2012",
 title        = "{A Reputation System for Multirole Sessions}",
 booktitle    = "TGC",
 series       = "LNCS",
 volume       = "7173",
 publisher    = "Springer",
 pages        = "1--24",
 url          = "http://dx.doi.org/10.1007/978-3-642-30065-3_1",
)
@inproceedings(ccd11,
 author       = "Sara Capecchi and Ilaria Castellani and Mariangiola Dezani-Ciancaglini",
 year         = "2011",
 title        = "{Information Flow Safety in Multiparty Sessions}",
 booktitle    = "EXPRESS",
 series       = "EPTCS",
 volume       = "64",
 pages        = "16--31",
 url          = "http://dx.doi.org/10.4204/EPTCS.64.2",
)
@inproceedings(CCDR10,
 author       = "Sara Capecchi and Ilaria Castellani and Mariangiola Dezani-Ciancaglini and Tamara Rezk",
 year         = "2010",
 title        = "{Session {T}ypes for {A}ccess and {I}nformation {F}low {C}ontrol}",
 booktitle    = "CONCUR",
 series       = "LNCS",
 volume       = "6269",
 publisher    = "Springer",
 pages        = "237--252",
 url          = "http://dx.doi.org/10.1007/978-3-642-15375-4_17",
)
@inproceedings(CM12,
 author       = "Marco Carbone and Fabrizio Montesi",
 year         = "2012",
 title        = "{Merging Multiparty Protocols in Multiparty Choreographies}",
 booktitle    = "PLACES",
 series       = "EPTCS",
 volume       = "109",
 pages        = "21--27",
 url          = "http://dx.doi.org/10.4204/EPTCS.109.4",
)
@article(CDP12,
 author       = "Giuseppe Castagna and Mariangiola Dezani-Ciancaglini and Luca Padovani",
 year         = "2012",
 title        = "{O}n {G}lobal {T}ypes and {M}ulti-{P}arty {S}essions",
 journal      = "Log. Meth. Comp. Scie.",
 volume       = "8",
 pages        = "1--45",
 url          = "http://dx.doi.org/10.2168/LMCS-8(1:24)2012",
)
@phdthesis(tcc:thesis,
 author       = "Tzu-Chun Chen",
 year         = "2013",
 title        = "Theories for Session-based Governance for Large-Scale Distributed Systems",
 school       = "Queen Mary, University of London, UK",
 url          = "http://www.di.unito.it/~lambda/biblio/entry-TC2013.html",
)
@inproceedings(TGC11,
 author       = "Tzu-Chun Chen and Laura Bocchi and Pierre-Malo Deni{\'e}lou and Kohei Honda and Nobuko Yoshida",
 year         = "2011",
 title        = "Asynchronous Distributed Monitoring for Multiparty Session Enforcement",
 booktitle    = "TGC",
 series       = "LNCS",
 volume       = "7454",
 pages        = "25--45",
 url          = "http://dx.doi.org/10.1007/978-3-642-30065-3_2",
)
@inproceedings(Concur12CH,
 author       = "Tzu-Chun Chen and Kohei Honda",
 year         = "2012",
 title        = "Specifying Stateful Asynchronous Properties for Distributed Programs",
 booktitle    = "CONCUR",
 series       = "LNCS",
 volume       = "7454",
 pages        = "209--224",
 url          = "http://dx.doi.org/10.1007/978-3-642-32940-1_16",
)
@inproceedings(DemangeonH12,
 author       = "Romain Demangeon and Kohei Honda",
 year         = "2012",
 title        = "Nested Protocols in Session Types",
 booktitle    = "CONCUR",
 series       = "LNCS",
 volume       = "7454",
 publisher    = "Springer",
 pages        = "272--286",
 url          = "http://dx.doi.org/10.1007/978-3-642-32940-1_20",
)
@inproceedings(DY11,
 author       = "Pierre-Malo Deni{\'e}lou and Nobuko Yoshida",
 year         = "2011",
 title        = "{Dynamic Multirole Session Types}",
 booktitle    = "POPL",
 publisher    = "ACM",
 pages        = "435--446",
 url          = "http://doi.acm.org/10.1145/1926385.1926435",
)
@inproceedings(Falcone:10,
 author       = "Yli{\`e}s Falcone",
 year         = "2010",
 title        = "You Should Better Enforce Than Verify",
 booktitle    = "Runtime Verification",
 series       = "LNCS",
 publisher    = "Springer",
 pages        = "89--105",
 url          = "http://dx.doi.org/10.1007/978-3-642-16612-9_9",
)
@unpublished(markjosephs,
 author       = "Jifeng He and M. B. Josephs and C. A. R. Hoare",
 year         = "1990",
 title        = "A Theory of Synchrony and Asynchrony",
 url          = "http://www.cs.ox.ac.uk/publications/publication8131-abstract.html",
 note         = "LaTeXed manuscript",
)
@inproceedings(HHNCDDY2012,
 author       = "Kohei Honda and Raymond Hu and Rumyana Neykova and Tzu-Chun Chen and Romain Demangeon and Pierre-Malo Deniélou and Nobuko Yoshida",
 year         = "2012",
 title        = "Structuring Communication with Session Types",
 booktitle    = "To appear in COB 2012",
 url          = "http://mrg.doc.ic.ac.uk/publications/structuring-communication-with-session-types/main.pdf",
)
@inproceedings(HondaMBCY11,
 author       = "Kohei Honda and Aybek Mukhamedov and Gary Brown and Tzu-Chun Chen and Nobuko Yoshida",
 year         = "2011",
 title        = "Scribbling Interactions with a Formal Foundation",
 booktitle    = "ICDCIT",
 series       = "LNCS",
 volume       = "6536",
 pages        = "55--75",
 url          = "http://dx.doi.org/10.1007/978-3-642-19056-8_4",
)
@inproceedings(HondaTokoro91,
 author       = "Kohei Honda and Mario Tokoro",
 year         = "1991",
 title        = "An Object Calculus for Asynchronous Communication",
 booktitle    = "ECOOP'91",
 series       = "LNCS",
 volume       = "512",
 pages        = "133--147",
 url          = "http://dx.doi.org/10.1007/BFb0057019",
)
@inproceedings(HYC08,
 author       = "Kohei Honda and Nobuko Yoshida and Marco Carbone",
 year         = "2008",
 title        = "Multiparty Asynchronous Session Types",
 booktitle    = "POPL",
 publisher    = "ACM",
 pages        = "273--284",
 url          = "http://doi.acm.org/10.1145/1328438.1328472",
)
@inproceedings(asyncsession,
 author       = "Dimitrios Kouzapas and Nobuko Yoshida and Kohei Honda",
 year         = "2011",
 title        = "On Asynchronous Session Semantics",
 booktitle    = "FMOODS/FORTE",
 pages        = "228--243",
 url          = "http://dx.doi.org/10.1007/978-3-642-21461-5_15",
)
@misc(OOI,
 title        = "{{O}cean {O}bservatories {I}nitiative}",
 note         = "\url {http://www.oceanleadership.org/programs-and-partnerships/ocean-observing/ooi/}",
)
@article(DBLP:journals/entcs/OweST10,
 author       = "Olaf Owe and Martin Steffen and Arild B. Torjusen",
 year         = "2010",
 title        = "Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting",
 journal      = "ENCS",
 volume       = "264",
 number       = "3",
 pages        = "69--84",
 url          = "http://dx.doi.org/10.1016/j.entcs.2010.12.015",
)
@misc(scribsite,
 title        = "{{S}cribble {P}roject homepage}",
 note         = "\url {www.scribble.org}",
)
@inproceedings(YHNN2014,
 author       = "Nobuko Yoshida and Raymond Hu and Rumyana Neykova and Nicholas Ng",
 year         = "2014",
 title        = "The Scribble Protocol Language",
 booktitle    = "TGC 2013",
 url          = "http://dx.doi.org/10.1007/978-3-319-05119-2_3",
)