@proceedings(forte2016,
 editor       = {Elvira Albert and Ivan Lanese},
 year         = {2016},
 title        = {Formal Techniques for Distributed Objects, Components, and Systems -- 36th IFIP WG 6.1 International Conference, FORTE 2016},
 series       = {LNCS},
 volume       = {9688},
 publisher    = {Springer},
 doi          = {10.1007/978-3-319-39570-8},
)
@misc(BPMN,
 title        = {{B}usiness {P}rocess {M}odel and {N}otation},
 howpublished = {\url{http://www.omg.org/spec/BPMN/2.0/}},
)
@article(CHY12,
 author       = {Marco Carbone and Kohei Honda and Nobuko Yoshida},
 year         = {2012},
 title        = {Structured Communication-Centered Programming for Web Services},
 journal      = {ACM Trans.\ Program.\ Lang.\ Syst.},
 volume       = {34},
 number       = {2},
 pages        = {8:1--8:78},
 doi          = {10.1145/2220365.2220367},
)
@inproceedings(CM13,
 author       = {Marco Carbone and Fabrizio Montesi},
 year         = {2013},
 title        = {Deadlock-freedom-by-design: multiparty asynchronous global programming},
 editor       = {Roberto Giacobazzi and Radhia Cousot},
 booktitle    = {POPL},
 publisher    = {{ACM}},
 pages        = {263--274},
 url          = {http://doi.acm.org/10.1145/2429069.2429101},
)
@misc(chor:website,
 author       = {Chor},
 title        = {{Programming Language}},
 note         = {\url{http://www.chor-lang.org/}},
)
@inproceedings(CLM17,
 author       = {Cruz{-}Filipe, Lu{\'\i}s and Kim S. Larsen and Fabrizio Montesi},
 year         = {2017},
 title        = {The Paths to Choreography Extraction},
 editor       = {Javier Esparza and Andrzej S. Murawski},
 booktitle    = {FoSSaCS},
 series       = {LNCS},
 volume       = {10203},
 publisher    = {Springer},
 pages        = {424--440},
 doi          = {10.1007/978-3-662-54458-7\_25},
)
@inproceedings(CM16a,
 author       = {Cruz-Filipe, Lu{\'\i}s and Fabrizio Montesi},
 year         = {2016},
 title        = {Choreographies in Practice},
 editor       = {Albert and Lanese},
 pages        = {114--123},
 doi          = {10.1007/978-3-319-39570-8\_8},
)
@inproceedings(CM17:facs,
 author       = {Cruz-Filipe, Lu{\'\i}s and Fabrizio Montesi},
 year         = {2017},
 title        = {A Core Model for Choreographic Programming},
 editor       = {Olga Kouchnarenko and Ramtin Khosravi},
 booktitle    = {FACS},
 series       = {LNCS},
 volume       = {10231},
 publisher    = {Springer},
 pages        = {17--35},
 doi          = {10.1007/978-3-319-57666-4\_3},
)
@inproceedings(CM17:forte,
 author       = {Cruz-Filipe, Lu{\'\i}s and Fabrizio Montesi},
 year         = {2017},
 title        = {Procedural Choreographic Programming},
 editor       = {Ahmed Bouajjani and Alexandra Silva},
 booktitle    = {FORTE 2017},
 series       = {LNCS},
 volume       = {10321},
 publisher    = {Springer},
 pages        = {92--107},
 doi          = {10.1007/978-3-319-60225-7\_7},
)
@inproceedings(DGGLM15,
 author       = {Dalla Preda, Mila and Maurizio Gabbrielli and Saverio Giallorenzo and Ivan Lanese and Jacopo Mauro},
 year         = {2015},
 title        = {Dynamic Choreographies -- Safe Runtime Updates of Distributed Applications},
 editor       = {Tom Holvoet and Mirko Viroli},
 booktitle    = {COORDINATION},
 series       = {LNCS},
 volume       = {9037},
 publisher    = {Springer},
 pages        = {67--82},
 doi          = {10.1007/978-3-319-19282-6\_5},
)
@inproceedings(DY13,
 author       = {Pierre-Malo Deni{\'e}lou and Nobuko Yoshida},
 year         = {2013},
 title        = {Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types},
 editor       = {Fedor V. Fomin and Rusins Freivalds and Marta Z. Kwiatkowska and David Peleg},
 booktitle    = {ICALP (2)},
 series       = {LNCS},
 volume       = {7966},
 publisher    = {Springer},
 pages        = {174--186},
 doi          = {10.1007/978-3-642-39212-2\_18},
)
@article(GGM15,
 author       = {Maurizio Gabbrielli and Saverio Giallorenzo and Fabrizio Montesi},
 year         = {2015},
 title        = {Applied Choreographies},
 journal      = {CoRR},
 volume       = {abs/1510.03637},
 url          = {http://arxiv.org/abs/1510.03637},
)
@article(G10,
 author       = {Daniele Gorla},
 year         = {2010},
 title        = {Towards a unified approach to encodability and separation results for process calculi},
 journal      = {Inf.\ Comput.},
 volume       = {208},
 number       = {9},
 pages        = {1031--1053},
 doi          = {10.1016/j.ic.2010.05.002},
)
@inproceedings(HMBCY11,
 author       = {Kohei Honda and A. Mukhamedov and G. Brown and T.-C. Chen and Nobuko Yoshida},
 year         = {2011},
 title        = {Scribbling Interactions with a Formal Foundation},
 editor       = {Raja Natarajan and Adegboyega K. Ojo},
 booktitle    = {ICDCIT},
 series       = {LNCS},
 volume       = {6536},
 publisher    = {Springer},
 pages        = {55--75},
 doi          = {10.1007/978-3-642-19056-8\_4},
)
@article(HYC16,
 author       = {Kohei Honda and Nobuko Yoshida and Marco Carbone},
 year         = {2016},
 title        = {{Multiparty Asynchronous Session Types}},
 journal      = {J. {ACM}},
 volume       = {63},
 number       = {1},
 pages        = {9:1--9:67},
 doi          = {10.1145/2827695},
)
@inproceedings(LGMZ08,
 author       = {Ivan Lanese and Claudio Guidi and Fabrizio Montesi and Gianluigi Zavattaro},
 year         = {2008},
 title        = {Bridging the Gap between Interaction- and Process-Oriented Choreographies},
 editor       = {Antonio Cerone and Stefan Gruner},
 booktitle    = {SEFM},
 publisher    = {{IEEE}},
 pages        = {323--332},
 doi          = {10.1109/SEFM.2008.11},
)
@inproceedings(LNN16,
 author       = {Hugo A. L{\'{o}}pez and Flemming Nielson and Hanne Riis Nielson},
 year         = {2016},
 title        = {Enforcing Availability in Failure-Aware Communicating Systems},
 editor       = {Albert and Lanese},
 pages        = {195--211},
 doi          = {10.1007/978-3-319-39570-8\_13},
)
@phdthesis(M13:phd,
 author       = {Fabrizio Montesi},
 year         = {2013},
 title        = {Choreographic {P}rogramming},
 type         = {Ph.{D}. {T}hesis},
 school       = {IT {U}niversity of {C}openhagen},
 note         = {\href{http://fabriziomontesi.com/files/choreographic_programming.pdf}{ http://fabriziomontesi.com/files/choreographic\_programming.pdf }},
)
@inproceedings(MY13,
 author       = {Fabrizio Montesi and Nobuko Yoshida},
 year         = {2013},
 title        = {Compositional Choreographies},
 editor       = {Pedro R. D'Argenio and Hern{\'a}n C. Melgratti},
 booktitle    = {CONCUR},
 series       = {LNCS},
 volume       = {8052},
 publisher    = {Springer},
 pages        = {425--439},
 doi          = {10.1007/978-3-642-40184-8\_30},
)
@misc(pi4soa,
 year         = {2008},
 title        = {PI4SOA},
 howpublished = {\url{http://www.pi4soa.org}},
)
@inproceedings(QZCY07,
 author       = {Zongyan Qiu and Xiangpeng Zhao and Chao Cai and Hongli Yang},
 year         = {2007},
 title        = {Towards the theoretical foundation of choreography},
 editor       = {Carey L. Williamson and Mary Ellen Zurko and Patel{-}Schneider, Peter F. and Prashant J. Shenoy},
 booktitle    = {WWW},
 publisher    = {ACM},
 pages        = {973--982},
 doi          = {10.1145/1242572.1242704},
)
@misc(savara:website,
 author       = {Savara},
 title        = {{JBoss Community}},
 note         = {\url{http://www.jboss.org/savara/}},
)
@misc(wscdl,
 author       = {{W3C WS-CDL Working Group}},
 year         = {2004},
 title        = {Web Services Choreography Description Language Version 1.0},
 howpublished = {\url{http://www.w3.org/TR/2004/WD-ws-cdl-10-20040427/}},
)