Bocchi, Laura, Lange, Julien, Tuosto, Emilio (2012) Three Algorithms and a Methodology for Amending Contracts for Choreographies. Scientific Annals of Computer Science, 22 (1). pp. 61-104. ISSN 1843-8121. (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:59161)
Item Type: | Article |
---|---|
Additional information: | This record has been removed because it is a duplicate record. An alternative record of the same work is available at https://kar.kent.ac.uk/62259/ |
Depositing User: | Laura Bocchi |
Date Deposited: | 28 Nov 2016 09:56 UTC |
Last Modified: | 08 Jan 2024 10:15 UTC |
Resource URI: | https://kar.kent.ac.uk/id/eprint/59161 (The current URI for this page, for reference purposes) |
Bocchi, Laura: | https://orcid.org/0000-0002-7177-9395 |