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

Julien Lange, Emilio Tuosto, Nobuko Yoshida

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",

}

TY - CHAP

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

AU - Lange, Julien

AU - Tuosto, Emilio

AU - Yoshida, Nobuko

PY - 2017/7/31

Y1 - 2017/7/31

UR - http://www.scopus.com/inward/record.url?scp=85043465778&partnerID=8YFLogxK

M3 - Chapter

AN - SCOPUS:85043465778

SN - 9788793519824

SP - 125

EP - 146

BT - Behavioural Types

PB - River Publishers

ER -