A tool for choreography-based analysis of message-passing software

Julien Lange, Emilio Tuosto, Nobuko Yoshida

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationBehavioural Types
Subtitle of host publicationfrom Theory to Tools English
PublisherRiver Publishers
Number of pages22
ISBN (Electronic)9788793519817
ISBN (Print)9788793519824
Publication statusPublished - 31 Jul 2017

Cite this