Three algorithms and a methodology for amending contracts for choreographies. / Bocchi, Laura; Lange, Julien; Tuosto, Emilio.

In: Scientific Annals of Computer Science, Vol. 22, No. 1, 2012, p. 61-104.

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)61-104
Number of pages44
JournalScientific Annals of Computer Science
Issue number1
Publication statusPublished - 2012
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 39129580