@article(DBLP:journals/corr/BernardiH15,
 author       = {Giovanni Bernardi and Matthew Hennessy},
 year         = {2015},
 title        = {Mutually Testing Processes},
 journal      = {LMCS},
 volume       = {11},
 number       = {2},
 doi          = {10.2168/LMCS-11(2:1)2015},
)
@article(DBLP:journals/fac/CastellaniDP16,
 author       = {Ilaria Castellani and Dezani{-}Ciancaglini, Mariangiola and Jorge A. P{\'{e}}rez},
 year         = {2016},
 title        = {Self-adaptation and secure information flow in multiparty communications},
 journal      = {Formal Asp. Comput.},
 volume       = {28},
 number       = {4},
 pages        = {669--696},
 doi          = {10.1007/s00165-016-0381-3},
)
@inproceedings(DBLP:conf/sfm/CoppoDPY15,
 author       = {Mario Coppo and Dezani{-}Ciancaglini, Mariangiola and Luca Padovani and Nobuko Yoshida},
 year         = {2015},
 title        = {A Gentle Introduction to Multiparty Asynchronous Session Types},
 booktitle    = {{SFM} 2015},
 pages        = {146--178},
 doi          = {10.1007/978-3-319-18941-3_4},
)
@article(DBLP:journals/soca/CoppoDV15,
 author       = {Mario Coppo and Dezani{-}Ciancaglini, Mariangiola and Betti Venneri},
 year         = {2015},
 title        = {Self-adaptive multiparty sessions},
 journal      = {Service Oriented Computing and Applications},
 volume       = {9},
 number       = {3-4},
 pages        = {249--268},
 doi          = {10.1007/s11761-014-0171-9},
)
@article(DBLP:journals/mscs/Cosmo05,
 author       = {Roberto Di Cosmo},
 year         = {2005},
 title        = {A short survey of isomorphisms of types},
 journal      = {MSCS},
 volume       = {15},
 number       = {5},
 pages        = {825--838},
 doi          = {10.1017/S0960129505004871},
)
@inproceedings(DBLP:conf/fsttcs/DemangeonY15,
 author       = {Romain Demangeon and Nobuko Yoshida},
 year         = {2015},
 title        = {On the Expressiveness of Multiparty Sessions},
 booktitle    = {{FSTTCS} 2015},
 series       = {LIPIcs},
 volume       = {45},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
 pages        = {560--574},
 doi          = {10.4230/LIPIcs.FSTTCS.2015.560},
)
@inproceedings(DBLP:conf/icalp/DenielouY13,
 author       = {Pierre{-}Malo Deni{\'{e}}lou and Nobuko Yoshida},
 year         = {2013},
 title        = {Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types},
 booktitle    = {{ICALP} 2013},
 pages        = {174--186},
 doi          = {10.1007/978-3-642-39212-2_18},
)
@inproceedings(DBLP:journals/corr/Dezani-CiancagliniPP14,
 author       = {Dezani{-}Ciancaglini, Mariangiola and Luca Padovani and Jovanka Pantovic},
 year         = {2014},
 title        = {Session Type Isomorphisms},
 booktitle    = {{PLACES} 2014},
 series       = {{EPTCS}},
 volume       = {155},
 pages        = {61--71},
 doi          = {10.4204/EPTCS.155.9},
)
@book(ISOSBook,
 author       = {Di Cosmo, Roberto},
 year         = {1995},
 title        = {Isomorphisms of types: from $\lambda$-calculus to information retrieval and language design},
 publisher    = {Birkhauser},
 doi          = {10.1007/978-1-4612-2572-0},
)
@inproceedings(DBLP:conf/popl/HondaYC08,
 author       = {Kohei Honda and Nobuko Yoshida and Marco Carbone},
 year         = {2008},
 title        = {Multiparty asynchronous session types},
 booktitle    = {{POPL}2008},
 pages        = {273--284},
 doi          = {10.1145/1328438.1328472},
)
@article(DBLP:journals/corr/KouzapasY14,
 author       = {Dimitrios Kouzapas and Nobuko Yoshida},
 year         = {2014},
 title        = {Globally Governed Session Semantics},
 journal      = {Logical Methods in Computer Science},
 volume       = {10},
 number       = {4},
 doi          = {10.2168/LMCS-10(4:20)2014},
)
@inproceedings(DBLP:conf/concur/Milener84,
 author       = {Robin Milner},
 year         = {1984},
 title        = {Lectures on a Calculus for Communicating Systems},
 booktitle    = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984},
 pages        = {197--220},
 doi          = {10.1007/3-540-15670-4\_10},
)
@article(DBLP:journals/iandc/PerezCPT14,
 author       = {Jorge A. P{\'{e}}rez and Lu{\'{\i}}s Caires and Frank Pfenning and Bernardo Toninho},
 year         = {2014},
 title        = {Linear logical relations and observational equivalences for session-based concurrency},
 journal      = {Inf. Comput.},
 volume       = {239},
 pages        = {254--302},
 doi          = {10.1016/j.ic.2014.08.001},
)
@article(DBLP:journals/corr/PredaGGLM16,
 author       = {Mila Dalla Preda and Maurizio Gabbrielli and Saverio Giallorenzo and Ivan Lanese and Jacopo Mauro},
 year         = {2017},
 title        = {Dynamic Choreographies: Theory And Implementation},
 journal      = {Logical Methods in Computer Science},
 volume       = {13},
 number       = {2},
 doi          = {10.23638/LMCS-13(2:1)2017},
)
@inproceedings(DBLP:conf/tgc/YoshidaHNN13,
 author       = {Nobuko Yoshida and Raymond Hu and Rumyana Neykova and Nicholas Ng},
 year         = {2013},
 title        = {The Scribble Protocol Language},
 booktitle    = {Trustworthy Global Computing - 8th International Symposium, {TGC} 2013},
 pages        = {22--41},
 doi          = {10.1007/978-3-319-05119-2\_3},
)