Amending contracts for choreographies

Laura Bocchi, Julien Lange, Emilio Tuosto

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 → …

Cite this