Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Number of items: 1.

Article

Bocchi, L., Lange, Julien, Tuosto, E. (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:62259)

This list was generated on Thu May 2 22:22:20 2024 BST.