Skip to main content
Kent Academic Repository

Browse by Publisher

Group by: Item Type | Date | No Grouping
Jump to: Article
Number of items: 1.

Article

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. (doi:10.7561/SACS.2012.1.61) (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)
This list was generated on Mon Jan 8 02:24:01 2024 GMT.