Luca Aceto & Matthew Hennessy (1994):
Adding action refinement to a finite process algebra.
Information and Computation 115(2),
pp. 179–247,
doi:10.1006/inco.1994.1096.
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.
Egon Börger (2012):
Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL.
Software and Systems Modeling 11(3),
pp. 305–318,
doi:10.1007/s10270-011-0214-z.
Marco Carbone, Fabrizio Montesi & Hugo Torres Vieira (2018):
Choreographies for Reactive Programming.
CoRR abs/1801.08107.
Available at http://arxiv.org/abs/1801.08107.
Ilaria Castellani, Mariangiola Dezani-Ciancaglini & Paola Giannini (2019):
Event Structure Semantics for Multiparty Sessions.
In: Models, Languages, and Tools for Concurrent and Distributed Programming,
LNCS 11665.
Springer,
pp. 340–363,
doi:10.1007/978-3-030-21485-2_19.
Philippe Darondeau & Pierpaolo Degano (1993):
Refinement of Actions in Event Structures and Causal Trees.
Theor. Comput. Sci. 118(1),
pp. 21–48,
doi:10.1016/0304-3975(93)90361-V.
Rob J. van Glabbeek & Ursula Goltz (1989):
Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract).
In: MFCS,
LNCS 379.
Springer,
pp. 237–248,
doi:10.1007/3-540-51486-4_71.
Roberto Guanciale & Emilio Tuosto (2016):
An Abstract Semantics of the Global View of Choreographies.
In: ICE,
EPTCS 223,
pp. 67–82,
doi:10.4204/EPTCS.223.5.
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.
Mogens Nielsen, Gordon D. Plotkin & Glynn Winskel (1981):
Petri Nets, Event Structures and Domains, Part I.
Theor. Comput. Sci. 13,
pp. 85–108,
doi:10.1016/0304-3975(81)90112-2.
Vaughan R. Pratt (1986):
Modeling concurrency with partial orders.
Int. J. Parallel Program. 15(1),
pp. 33–71,
doi:10.1007/BF01379149.
Emilio Tuosto & Roberto Guanciale (2018):
Semantics of global view of choreographies.
JLAMP 95,
pp. 17 – 40,
doi:10.1016/j.jlamp.2017.11.002.