1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. Martin Fowler (2003): UML Distilled: A Brief Guide to the Standard Object Modeling Language (3rd Edition). Addison Wesley.
  6. 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.
  7. 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.
  8. Ivan Lanese, Fabrizio Montesi & Gianluigi Zavattaro: Classifying Relationships between Interaction- and Process-Oriented Choreographies. Available at
  9. 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.
  10. 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.

Comments and questions to:
For website issues: