From communicating machines to graphical choreographies

Julien Lange, Emilio Tuosto, Nobuko Yoshida

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)221-232
Number of pages12
JournalACM SIGPLAN Notices
Volume50
Issue number1
DOIs
Publication statusPublished - Jan 2015

Keywords

  • Choreography
  • Communicating finite-state machines
  • Global graphs
  • Multiparty session types
  • Theory of regions

Cite this