Three algorithms and a methodology for amending contracts for choreographies

Laura Bocchi, Julien Lange, Emilio Tuosto

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)61-104
Number of pages44
JournalScientific Annals of Computer Science
Volume22
Issue number1
DOIs
Publication statusPublished - 2012

Keywords

  • Assertions
  • Choreography
  • Design-by-contract
  • Multiparty session types
  • Satisfiability

Cite this