Choreographies in the wild

Massimo Bartoletti, Julien Lange, Alceste Scalas, Roberto Zunino

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)36-60
Number of pages25
JournalScience of Computer Programming
Volume109
Early online date29 Nov 2014
DOIs
Publication statusPublished - 1 Oct 2015

Keywords

  • Choreographies
  • Contracts
  • Session types

Cite this