A tool for choreography-based analysis of message-passing software. / Lange, Julien; Tuosto, Emilio; Yoshida, Nobuko.

Behavioural Types: from Theory to Tools English. River Publishers, 2017. p. 125-146.

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
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 39129133