Laura Bocchi, Kohei Honda, Emilio Tuosto & Nobuko Yoshida (2010):
A Theory of Design-by-Contract for Distributed Multiparty Interactions.
In: Proc. of CONCUR 2010,
LNCS 6269.
Springer,
pp. 162–176,
doi:10.1007/978-3-642-15375-4_12.
Laura Bocchi, Julien Lange & Emilio Tuosto (2012):
Three Algorithms and a Methodology for Amending Contracts for Choreographies.
Sci. Ann. Comp. Sci. 22(1),
pp. 61–104,
doi:10.7561/SACS.2012.1.61.
Marco Carbone, Kohei Honda & Nobuko Yoshida (2007):
Structured Communication-Centred Programming for Web Services.
In: Proc. of ESOP'07,
LNCS 4421.
Springer,
pp. 2–17,
doi:10.1007/978-3-540-71316-6_2.
Marco Carbone & Fabrizio Montesi (2013):
Deadlock-freedom-by-design: multiparty asynchronous global programming.
In: Proc. of POPL 2013.
ACM,
pp. 263–274,
doi:10.1145/2429069.2429101.
Martin Fowler (2003):
UML Distilled: A Brief Guide to the Standard Object Modeling Language (3rd Edition).
Addison Wesley.
Kohei Honda, Nobuko Yoshida & Marco Carbone (2008):
Multiparty asynchronous session types.
In: Proc. of POPL'08.
ACM Press,
pp. 273–284,
doi:10.1145/1328438.1328472.
Ivan Lanese, Claudio Guidi, Fabrizio Montesi & Gianluigi Zavattaro (2008):
Bridging the Gap between Interaction- and Process-Oriented Choreographies.
In: Proc. of SEFM'08.
IEEE Press,
pp. 323–332,
doi:10.1109/SEFM.2008.11.
Ivan Lanese, Fabrizio Montesi & Gianluigi Zavattaro:
Classifying Relationships between Interaction- and Process-Oriented Choreographies.
Available at http://www.cs.unibo.it/~lanese/publications/fulltext/ioc.pdf.
Gwen Salaun, Tevfik Bultan & Nima Roohi (2012):
Realizability of Choreographies Using Process Algebra Encodings.
IEEE Transactions on Services Computing 5(3),
pp. 290–304,
doi:10.1109/TSC.2011.9.
Qiu Zongyan, Zhao Xiangpeng, Cai Chao & Yang Hongli (2007):
Towards the Theoretical Foundation of Choreography.
In: Proc. of WWW'07.
ACM Press,
pp. 973–982,
doi:10.1145/1242572.1242704.
eptcs@eptcs.org