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{Hu:2017:10.1007/978-3-662-54494-5_7,
author = {Hu, R and Yoshida, N},
doi = {10.1007/978-3-662-54494-5_7},
pages = {116--133},
publisher = {Springer},
title = {Explicit connection actions in multiparty session types},
url = {http://dx.doi.org/10.1007/978-3-662-54494-5_7},
year = {2017}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - This  work  extends  asynchronous  multiparty  session  types(MPST) withexplicit  connection  actionsto support protocols with op-tional  and  dynamic  participants.  The  actions  by  which  endpoints  areconnected  and  disconnected  are  a  key  element  of  real-world  protocolsthat is not treated in existing MPST works. In addition, the use casesmotivating explicit connections often require a more relaxed form of mul-tiparty choice: these extensions do not satisfy the conservative restric-tions used to ensure safety in standard syntactic MPST. Instead, we de-velop a modelling-based approach to validate MPST safety and progressfor these enriched protocols. We present a toolchain implementation, fordistributed programming based on our extended MPST in Java, and acore formalism, demonstrating the soundness of our approach. We discusskey implementation issues related to the proposed extensions: a practi-cal  treatment  of  choice  subtyping  for  MPST  progress,  and  multipartycorrelation of dynamic binary connections.
AU  - Hu,R
AU  - Yoshida,N
DO  - 10.1007/978-3-662-54494-5_7
EP  - 133
PB  - Springer
PY  - 2017///
SN  - 0302-9743
SP  - 116
TI  - Explicit connection actions in multiparty session types
UR  - http://dx.doi.org/10.1007/978-3-662-54494-5_7
UR  - http://hdl.handle.net/10044/1/44468
ER  -
Download