References

  1. Krzysztof R. Apt, Nissim Francez & Shmuel Katz (1988): Appraising fairness in languages for distributed programming. Distributed Computing 2, pp. 226–241.
  2. Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini & Nobuko Yoshida (2008): Global Progress in Dynamically Interleaved Multiparty Sessions. In: Franck van Breugel & Marsha Chechik: CONCUR, Lecture Notes in Computer Science 5201. Springer, pp. 418–433. Available at http://dx.doi.org/10.1007/978-3-540-85361-9_33.
  3. Laura Bocchi, Kohei Honda, Emilio Tuosto & Nobuko Yoshida (2010): A Theory of Design-by-Contract for Distributed Multiparty Interactions. In: Paul Gastin & François Laroussinie: CONCUR, Lecture Notes in Computer Science 6269. Springer, pp. 162–176, doi:10.1007/978-3-642-15375-4_12. Available at http://dx.doi.org/10.1007/978-3-642-15375-4_12.
  4. Maria Grazia Buscemi & Ugo Montanari (2007): CC-Pi: a constraint-based language for specifying service level agreements. In: Proceedings of the 16th European conference on Programming, ESOP'07. Springer-Verlag, Berlin, Heidelberg, pp. 18–32, doi:10.1007/978-3-540-71316-6. Available at http://portal.acm.org/citation.cfm?id=1762174.1762179.
  5. Marco Carbone, Kohei Honda & Nobuko Yoshida (2007): Structured Communication-Centred Programming for Web Services. In: 19th International Conference on Concurrency Theory (Concur'08). Springer, pp. 2–17, doi:10.1007/978-3-540-71316-6. Available at http://www.eecs.qmul.ac.uk/~carbonem/cdlpaper/esop2007.pdf.
  6. Kohei Honda, Nobuko Yoshida & Marco Carbone (2008): Multiparty asynchronous session types. In: POPL, pp. 273–284, doi:10.1145/1328438.1328472. Available at http://doi.acm.org/10.1145/1328438.1328472.
  7. Julien Lange & Emilio Tuosto (2010): A Modular Toolkit for Theories of Distributed Interactions. In: PLACES. To appear.
  8. Bertrand Meyer (1997): Object-Oriented Software Construction (Chapter 31). Prentice Hall.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org