@inproceedings{0f1247d79bf84e63bd26d892c5a84f19,
title = "Multiparty Session Nets",
abstract = "This paper introduces global session nets, an integration of multiparty session types (MPST) and Petri nets, for role-based choreographic specifications to verify distributed multiparty systems. The graphical representation of session nets enables more liberal combinations of branch, merge, fork and join patterns than the standard syntactic MPST. We use session net token dynamics to verify a flexible conformance between the graphical global net and syntactic endpoint types, and apply the conformance to ensure type-safety and progress of endpoint processes with channel mobility. We have implemented Java APIs for validating global session graph well-formedness and endpoint type conformance.",
author = "Luca Fossati and Raymond Hu and Nobuko Yoshida",
note = "{\textcopyright} Springer-Verlag Berlin Heidelberg 2014.; 9th International Symposium, TGC 2014 ; Conference date: 05-09-2014 Through 06-09-2014",
year = "2014",
month = dec,
day = "23",
doi = "10.1007/978-3-662-45917-1_8",
language = "English",
isbn = " Print ISBN 978-3-662-45916-4 ",
series = "Lecture Notes in Computer Science ",
publisher = "Springer Nature ",
pages = "112--127",
editor = "Maffei, {Matteo } and Tuosto, {Emilio }",
booktitle = "Trustworthy Global Computing",
address = "Netherlands",
}