Amending contracts for choreographies. / Bocchi, Laura; Lange, Julien; Tuosto, Emilio.

In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 59, 31.07.2011, p. 111-129.

Research output: Contribution to journalConference articlepeer-review

Original languageEnglish
Pages (from-to)111-129
Number of pages19
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
Publication statusPublished - 31 Jul 2011
Event4th Interaction and Concurrency Experience, ICE 2011 - Reykjavik, Iceland
Duration: 9 Jun 2011 → …
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 39129814