Amending contracts for choreographies

Electronic Proceedings in Theoretical Computer Science, EPTCS

Volumn 59, Issue , 2011, Pages 111-129

  Bocchi, Laura ^a   Lange, Julien ^a   Tuosto, Emilio ^a  

^a UNIVERSITY OF LEICESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS;

CRITICAL DESIGN; DISTRIBUTED INTERACTION; LOGICAL FORMULAS; MULTIPARTY SESSIONS;

COMPUTER SCIENCE;

EID: 84908161401     PISSN: 20752180     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4204/EPTCS.59.10     Document Type: Conference Paper

References (8)

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, editors: 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, editors: 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.