Bocchi, Laura, Lange, Julien, Tuosto, Emilio (2011) Amending Contracts for Choreographies. In: Electronic Proceedings in Theoretical Computer Science. Proceedings Fourth Interaction and Concurrency Experience (ICE 2011) 2011. Electronic Proceedings in Theoretical Computer Science , 59. pp. 111-129. (doi:10.4204/EPTCS.59.10) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:59209)
Item Type: | Conference or workshop item (Paper) |
---|---|
DOI/Identification number: | 10.4204/EPTCS.59.10 |
Subjects: |
Q Science Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
Divisions: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
Depositing User: | Laura Bocchi |
Date Deposited: | 28 Nov 2016 14:06 UTC |
Last Modified: | 16 Feb 2021 15:31 UTC |
Resource URI: | https://kar.kent.ac.uk/id/eprint/59209 (The current URI for this page, for reference purposes) |
Bocchi, Laura: | https://orcid.org/0000-0002-7177-9395 |