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{Yoshida:2020:10.1007/978-3-030-44914-8_10,
author = {Yoshida, N and Jongmans, S-S},
doi = {10.1007/978-3-030-44914-8_10},
pages = {251--279},
publisher = {Springer},
title = {Exploring type-level bisimilarity towards more expressive multiparty session types},
url = {http://dx.doi.org/10.1007/978-3-030-44914-8_10},
year = {2020}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - A key open problem with multiparty session types (MPST)concerns their expressiveness: current MPST have inflexible choice, noexistential quantification over participants, and limited parallel compo-sition. This precludes many real protocols to be represented by MPST.To overcome these bottlenecks of MPST, we explore a new techniqueusing weak bisimilarity between global types and endpoint types, whichguarantees deadlock-freedom and absence of protocol violations. Basedon a process algebraic framework, we present well-formed conditions forglobal types that guarantee weak bisimilarity between a global type andits endpoint types and prove their check is decidable. Our main practicalresult, obtained through benchmarks, is that our well-formedness condi-tions can be checked orders of magnitude faster than directly checkingweak bisimilarity using a state-of-the-art model checker.
AU  - Yoshida,N
AU  - Jongmans,S-S
DO  - 10.1007/978-3-030-44914-8_10
EP  - 279
PB  - Springer
PY  - 2020///
SP  - 251
TI  - Exploring type-level bisimilarity towards more expressive multiparty session types
UR  - http://dx.doi.org/10.1007/978-3-030-44914-8_10
UR  - https://link.springer.com/chapter/10.1007%2F978-3-030-44914-8_10
UR  - http://hdl.handle.net/10044/1/77575
ER  -
Download