Imperial College London
Professor Nobuko Yoshida

ProfessorNobukoYoshida

Faculty of Engineering, Department of Computing

Academic Visitor
 
 
 
//

Contact

 

+44 (0)20 7594 8240n.yoshida Website

 
 
//

Location

 

556Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Scalas:2017:10.4204/EPTCS.246.7,
author = {Scalas, A and Yoshida, N},
doi = {10.4204/EPTCS.246.7},
pages = {37--38},
publisher = {Open Publishing Association},
title = {Multiparty session types, beyond duality (Abstract)},
url = {http://dx.doi.org/10.4204/EPTCS.246.7},
year = {2017}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - Multiparty Session Types (MPST) are a well-established typing discipline for message-passing processes interacting on sessions involving two or more participants. Session typing can ensure desirable properties: absence of communication errors and deadlocks, and protocol conformance. However, existing MPST works provide a subject reduction result that is arguably (and sometimes, surprisingly) restrictive: it only holds for typing contexts with strong duality constraints on the interactions between pairs of participants. Consequently, many "intuitively correct" examples cannot be typed and/or cannot be proved type-safe. We illustrate some of these examples, and discuss the reason for these limitations. Then, we outline a novel MPST typing system that removes these restrictions.
AU  - Scalas,A
AU  - Yoshida,N
DO  - 10.4204/EPTCS.246.7
EP  - 38
PB  - Open Publishing Association
PY  - 2017///
SN  - 2075-2180
SP  - 37
TI  - Multiparty session types, beyond duality (Abstract)
UR  - http://dx.doi.org/10.4204/EPTCS.246.7
UR  - http://hdl.handle.net/10044/1/45525
ER  -
Download