@misc(bpel,
 author       = {Charlton Barreto and et al.},
 year         = {2007},
 title        = {Web Services Business Process Execution Language Version 2.0},
 howpublished = {\url{https://www.oasis-open.org/committees/download.php/23964/wsbpel-v2.0-primer.htm}},
)
@article(bdft16,
 author       = {Davide Basile and Pierpaolo Degano and Gian-Luigi Ferrari and Emilio Tuosto},
 year         = {2016},
 title        = {Relating two automata-based models of orchestration and choreography},
 journal      = {JLAMP},
 volume       = {85},
 number       = {3},
 pages        = {425 -- 446},
 doi          = {10.1016/j.jlamp.2015.09.011},
)
@inproceedings(bmt14,
 author       = {Laura Bocchi and Hern{\'{a}}n C. Melgratti and Emilio Tuosto},
 year         = {2014},
 title        = {Resolving Non-determinism in Choreographies},
 booktitle    = {ESOP},
 pages        = {493--512},
 doi          = {10.1007/978-3-642-54833-8\_26},
)
@article(bz83,
 author       = {Daniel Brand and Pitro Zafiropulo},
 year         = {1983},
 title        = {{On Communicating Finite-State Machines}},
 journal      = {Journal of the ACM},
 volume       = {30},
 number       = {2},
 pages        = {323--342},
 doi          = {10.1145/322374.322380},
)
@article(chy07,
 author       = {Marco Carbone and Kohei Honda and Nobuko Yoshida},
 year         = {2007},
 title        = {A Calculus of Global Interaction based on Session Types},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {171},
 number       = {3},
 pages        = {127 -- 151},
 doi          = {10.1016/j.entcs.2006.12.041},
)
@article(DBLP:journals/corr/abs-1203-0780,
 author       = {Giuseppe Castagna and Dezani-Ciancaglini, Mariangiola and Luca Padovani},
 year         = {2012},
 title        = {On Global Types and Multi-Party Session},
 journal      = {LMCS},
 volume       = {8},
 number       = {1},
 doi          = {10.2168/LMCS-8(1:24)2012},
)
@article(cdyp16,
 author       = {Mario Coppo and {Dezani{-}Ciancaglini}, Mariangiola and Nobuko Yoshida and Luca Padovani},
 year         = {2016},
 title        = {Global progress for dynamically interleaved multiparty sessions},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {26},
 number       = {2},
 pages        = {238--302},
 doi          = {10.1017/S0960129514000188},
)
@inproceedings(ivan,
 author       = {{Dalla Preda}, Mila and Maurizio Gabbrielli and Saverio Giallorenzo and Ivan Lanese and Mauro Jacopo},
 year         = {2015},
 title        = {Dynamic Choreographies - Safe Runtime Updates of Distributed Applications},
 booktitle    = {{COORDINATION} 2015},
 pages        = {67--82},
 doi          = {10.1007/978-3-319-19282-6\_5},
)
@inproceedings(dy12,
 author       = {{Pierre-Malo} Deni{\'e}lou and Nobuko Yoshida},
 year         = {2012},
 title        = {{Multiparty Session Types Meet Communicating Automata}},
 booktitle    = {ESOP},
 pages        = {194--213},
 doi          = {10.1007/978-3-642-28869-2\_10},
)
@article(honda16jacm,
 author       = {Kohei Honda and Nobuko Yoshida and Marco Carbone},
 year         = {2016},
 title        = {Multiparty Asynchronous Session Types},
 journal      = {Journal of the ACM},
 volume       = {63},
 number       = {1},
 pages        = {9:1--9:67},
 doi          = {10.1145/2827695},
 note         = {Extended version of a paper presented at {POPL08}},
)
@misc(w3c:cho,
 author       = {Nickolas Kavantzas and Davide Burdett and Gregory Ritzinger and Tony Fletcher and Yves Lafon},
 year         = {2004},
 title        = {Web Services Choreography Description Language Version 1.0},
 howpublished = {\url{http://www.w3.org/TR/2004/WD-ws-cdl-10-20041217}},
)
@inproceedings(lty15,
 author       = {Julien Lange and Emilio Tuosto and Nobuko Yoshida},
 year         = {2015},
 title        = {{From Communicating Machines to Graphical Choreographies}},
 booktitle    = {POPL15},
 pages        = {221--232},
 doi          = {10.1145/2676726.2676964},
)