@inproceedings(AR12,
 author       = {Gabrielle Anderson and Julian Rathke},
 year         = {2012},
 title        = {{Dynamic Software Update for Message Passing Programs}},
 booktitle    = {APLAS'12},
 series       = {LNCS},
 volume       = {7705},
 publisher    = {Springer},
 pages        = {207--222},
 doi          = {10.1007/978-3-642-35182-2\_15},
)
@inproceedings(BCDDDY08,
 author       = {Lorenzo Bettini and Mario Coppo and Loris D'Antoni and De Luca, Marco and Dezani-Ciancaglini, Mariangiola and Nobuko Yoshida},
 year         = {2008},
 title        = {{Global Progress in Dynamically Interleaved Multiparty Sessions}},
 booktitle    = {CONCUR'08},
 series       = {LNCS},
 volume       = {5201},
 publisher    = {Springer},
 pages        = {418--433},
 doi          = {10.1007/978-3-540-85361-9\_33},
)
@inproceedings(BCDHY13,
 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'13},
 series       = {LNCS},
 volume       = {7892},
 publisher    = {Springer},
 pages        = {50--65},
 doi          = {10.1007/978-3-642-38592-6\_5},
)
@inproceedings(DBLP:conf/sefm/BravettiCHLMPZ13,
 author       = {Mario Bravetti and Marco Carbone and Thomas T. Hildebrandt and Ivan Lanese and Jacopo Mauro and Jorge A. P{\'{e}}rez and Gianluigi Zavattaro},
 year         = {2014},
 title        = {{Towards Global and Local Types for Adaptation}},
 booktitle    = {SEFM'13},
 series       = {LNCS},
 volume       = {8368},
 publisher    = {Springer},
 pages        = {3--14},
 doi          = {10.1007/978-3-319-05032-4\_1},
)
@article(CHY12,
 author       = {Marco Carbone and Kohei Honda and Nobuko Yoshida},
 year         = {2012},
 title        = {{Structured Communication-Centered Programming for Web Services}},
 journal      = {ACM Transactions on Programming Languages and Systems},
 volume       = {34},
 number       = {2},
 pages        = {8:1--8:78},
 doi          = {10.1145/2220365.2220367},
)
@inproceedings(CDP14,
 author       = {Ilaria Castellani and Dezani{-}Ciancaglini, Mariangiola and Jorge A. P{\'{e}}rez},
 year         = {2014},
 title        = {{Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: {A} Unified Perspective}},
 booktitle    = {BEAT'14},
 series       = {{EPTCS}},
 volume       = {162},
 publisher    = {Open Publishing Association},
 pages        = {9--18},
 doi          = {10.4204/EPTCS.162.2},
)
@inproceedings(CDYP2015,
 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'15},
 series       = {LNCS},
 volume       = {9104},
 publisher    = {Springer},
 pages        = {146--178},
 doi          = {10.1007/978-3-319-18941-3\_4},
)
@article(CDV15,
 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},
)
@inproceedings(DBLP:conf/sle/PredaGLMG14,
 author       = {{Dalla Preda}, Mila and Saverio Giallorenzo and Ivan Lanese and Jacopo Mauro and Maurizio Gabbrielli},
 year         = {2014},
 title        = {{AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications}},
 booktitle    = {SLE'14},
 series       = {LNCS},
 volume       = {8706},
 publisher    = {Springer},
 pages        = {161--170},
 doi          = {10.1007/978-3-319-11245-9\_9},
)
@inproceedings(DY11,
 author       = {Pierre-Malo Deni{\'e}lou and Nobuko Yoshida},
 year         = {2011},
 title        = {{Dynamic Multirole Session Types}},
 booktitle    = {POPL'11},
 publisher    = {ACM Press},
 pages        = {435--446},
 doi          = {10.1145/1926385.1926435},
)
@inproceedings(HKV98,
 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(CHY08,
 author       = {Kohei Honda and Nobuko Yoshida and Marco Carbone},
 year         = {2008},
 title        = {{Multiparty Asynchronous Session Types}},
 booktitle    = {POPL'08},
 publisher    = {ACM Press},
 pages        = {273--284},
 doi          = {10.1145/1328438.1328472},
)
@unpublished(wg1soar,
 author       = {Hans H{\"{u}}ttel and Ivan Lanese and Vasco Thudichum Vasconcelos and Lu{\'{\i}}s Caires and Marco Carbone and Pierre{-}Malo Deni{\'{e}}lou and Dimitris Mostrous and Luca Padovani and Ant{\'{o}}nio Ravara and Emilio Tuosto and Hugo Torres Vieira and Gianluigi Zavattaro},
 year         = {2014},
 title        = {Foundations of Behavioural Types},
 note         = {\url{http://www.behavioural-types.eu/publications/WG1-State-of-the-Art.pdf}},
)
@book(PierceBC:typsysfpl,
 author       = {Benjamin C. Pierce},
 year         = {2002},
 title        = {Types and Programming Languages},
 publisher    = {MIT Press},
)
@article(S00,
 author       = {Fred B. Schneider},
 year         = {2000},
 title        = {{Enforceable Security Policies}},
 journal      = {ACM Transactions on Information and System Security},
 volume       = {3},
 number       = {1},
 pages        = {30--50},
 doi          = {10.1145/353323.353382},
)