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

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Original language	English
Title of host publication	Behavioural Types
Subtitle of host publication	from Theory to Tools English
Publisher	River Publishers
Pages	125-146
Number of pages	22
ISBN (Electronic)	9788793519817
ISBN (Print)	9788793519824
Publication status	Published - 31 Jul 2017

Access to Document

@inbook{da2a9fd748b64c28bcecf5b914982f7c,

title = "A tool for choreography-based analysis of message-passing software",

author = "Julien Lange and Emilio Tuosto and Nobuko Yoshida",

year = "2017",

month = jul,

day = "31",

language = "English",

isbn = "9788793519824",

pages = "125--146",

booktitle = "Behavioural Types",

publisher = "River Publishers",

}