@book(boner18,
 author       = {Jonas Bon\'er},
 year         = {2018},
 title        = {Reactive Microsystems - The Evolution Of Microservices At Scale},
 publisher    = {O'Reilly},
 note         = {Available at \url{tiny.cc/hk0w5y}},
)
@article(brand1983communicating,
 author       = {Daniel Brand and Pitro Zafiropulo},
 year         = {1983},
 title        = {On communicating finite-state machines},
 journal      = {Journal of the ACM (JACM)},
 volume       = {30},
 number       = {2},
 pages        = {323--342},
 doi          = {10.1145/322374.322380},
)
@inproceedings(de2001interface,
 author       = {De Alfaro, Luca and {Thomas A} Henzinger},
 year         = {2001},
 title        = {Interface automata},
 booktitle    = {ACM SIGSOFT Software Engineering Notes},
 volume       = {26},
 organization = {ACM},
 pages        = {109--120},
 doi          = {10.1145/503209.503226},
)
@incollection(de2005interface,
 author       = {De Alfaro, Luca and Thomas A Henzinger},
 year         = {2005},
 title        = {Interface-based design},
 booktitle    = {Engineering theories of software intensive systems},
 publisher    = {Springer},
 pages        = {83--104},
 doi          = {10.1016/0022-0000(84)90034-5},
)
@inproceedings(denielou2012multiparty,
 author       = {Pierre-Malo Deni{\'e}lou and Nobuko Yoshida},
 year         = {2012},
 title        = {Multiparty session types meet communicating automata},
 booktitle    = {European Symposium on Programming},
 organization = {Springer},
 pages        = {194--213},
 doi          = {10.1007/978-3-642-28869-2\_10},
)
@inproceedings(fmt18,
 author       = {Adrian Francalanza and Claudio Antares Mezzina and Emilio Tuosto},
 year         = {2018},
 title        = {Reversible Choreographies via Monitoring in Erlang},
 booktitle    = {Distributed Applications and Interoperable Systems - 18th {IFIP} {WG} 6.1 International Conference, {DAIS} 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings},
 pages        = {75--92},
 doi          = {10.1007/978-3-319-93767-0\_6},
)
@inproceedings(gt16,
 author       = {Roberto Guanciale and Emilio Tuosto},
 year         = {2016},
 title        = {An Abstract Semantics of the Global View of Choreographies},
 booktitle    = {Proceedings 9th Interaction and Concurrency Experience, {ICE} 2016, Heraklion, Greece, 8-9 June 2016.},
 pages        = {67--82},
 url          = {https://doi.org/10.4204/EPTCS.223.5},
)
@article(gt17,
 author       = {Roberto Guanciale and Emilio Tuosto},
 year         = {2017},
 title        = {Semantics of Global Views of Choreographies},
 journal      = {Journal of Logic and Algebraic Methods in Programming},
 volume       = {95},
 note         = {Revised and extended version of \cite{gt16}. Accepted for publication. To appear; version with proof available at \url{http://www.cs.le.ac.uk/people/et52/jlamp-with-proofs.pdf}},
)
@article(hyc08,
 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}},
)
@article(kavantzas2005web,
 author       = {Nickolas Kavantzas and David Burdett and Gregory Ritzinger and Tony Fletcher and Yves Lafon and Charlton Barreto},
 year         = {2005},
 title        = {Web services choreography description language version 1.0},
 journal      = {W3C candidate recommendation},
 volume       = {9},
 pages        = {290--313},
)
@inproceedings(lty15,
 author       = {Julien Lange and Emilio Tuosto and Nobuko Yoshida},
 year         = {2015},
 title        = {{From Communicating Machines to Graphical Choreographies}},
 booktitle    = {POPL 15},
 pages        = {221--232},
 doi          = {10.1145/2676726.2676964},
)