Jonas Bonér (2018):
Reactive Microsystems - The Evolution Of Microservices At Scale.
O'Reilly.
Available at tiny.cc/hk0w5y.
Daniel Brand & Pitro Zafiropulo (1983):
On communicating finite-state machines.
Journal of the ACM (JACM) 30(2),
pp. 323–342,
doi:10.1145/322374.322380.
Luca De Alfaro & Thomas A Henzinger (2001):
Interface automata.
In: ACM SIGSOFT Software Engineering Notes 26.
ACM,
pp. 109–120,
doi:10.1145/503209.503226.
Luca De Alfaro & Thomas A Henzinger (2005):
Interface-based design.
In: Engineering theories of software intensive systems.
Springer,
pp. 83–104,
doi:10.1016/0022-0000(84)90034-5.
Pierre-Malo Deniélou & Nobuko Yoshida (2012):
Multiparty session types meet communicating automata.
In: European Symposium on Programming.
Springer,
pp. 194–213,
doi:10.1007/978-3-642-28869-2_10.
Adrian Francalanza, Claudio Antares Mezzina & Emilio Tuosto (2018):
Reversible Choreographies via Monitoring in Erlang.
In: 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,
pp. 75–92,
doi:10.1007/978-3-319-93767-0_6.
Roberto Guanciale & Emilio Tuosto (2016):
An Abstract Semantics of the Global View of Choreographies.
In: Proceedings 9th Interaction and Concurrency Experience, ICE 2016, Heraklion, Greece, 8-9 June 2016.,
pp. 67–82.
Available at https://doi.org/10.4204/EPTCS.223.5.
Roberto Guanciale & Emilio Tuosto (2017):
Semantics of Global Views of Choreographies.
Journal of Logic and Algebraic Methods in Programming 95.
Revised and extended version of gt16. Accepted for publication. To appear; version with proof available at http://www.cs.le.ac.uk/people/et52/jlamp-with-proofs.pdf.
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, David Burdett, Gregory Ritzinger, Tony Fletcher, Yves Lafon & Charlton Barreto (2005):
Web services choreography description language version 1.0.
W3C candidate recommendation 9,
pp. 290–313.
Julien Lange, Emilio Tuosto & Nobuko Yoshida (2015):
From Communicating Machines to Graphical Choreographies.
In: POPL 15,
pp. 221–232,
doi:10.1145/2676726.2676964.
eptcs@eptcs.org