@inproceedings{5df0afe6ffa4413e8eaa78cf0eaceda5,
title = "Explicit Connection Actions in Multiparty Session Types",
abstract = "This work extends asynchronous multiparty session types (MPST) with explicit connection actions to support protocols with optional and dynamic participants. The actions by which endpoints are connected and disconnected are a key element of real-world protocols that is not treated in existing MPST works. In addition, the use cases motivating explicit connections often require a more relaxed form of multiparty choice: these extensions do not satisfy the conservative restrictions used to ensure safety in standard syntactic MPST. Instead, we develop a modelling-based approach to validate MPST safety and progress for these enriched protocols. We present a toolchain implementation, for distributed programming based on our extended MPST in Java, and a core formalism, demonstrating the soundness of our approach. We discuss key implementation issues related to the proposed extensions: a practical treatment of choice subtyping for MPST progress, and multiparty correlation of dynamic binary connections.",
author = "Raymond Hu and Nobuko Yoshida",
note = "{\textcopyright} Springer-Verlag GmbH Germany 2017.; International Conference on Fundamental Approaches to Software Engineering ; Conference date: 26-04-2017 Through 28-04-2017",
year = "2017",
month = mar,
day = "22",
doi = "10.1007/978-3-662-54494-5_7",
language = "English",
isbn = "978-3-662-54493-8",
series = "Lecture Notes in Computer Science ",
publisher = "Springer Nature Link",
pages = "116--133",
editor = "Huisman, {Marieke } and Rubin, {Julia }",
booktitle = "Fundamental Approaches to Software Engineering",
address = "Netherlands",
}