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