Skip to main content

Browse by Publisher

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


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 Tue Mar 28 03:12:20 2023 BST.