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