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

@article{Kouzapas:2019:10.1016/j.ic.2019.06.002,
author = {Kouzapas, D and Pérez, JA and Yoshida, N},
doi = {10.1016/j.ic.2019.06.002},
journal = {Information and Computation},
pages = {1--54},
title = {On the relative expressiveness of higher-order session processes},
url = {http://dx.doi.org/10.1016/j.ic.2019.06.002},
volume = {268},
year = {2019}
}
Download

RIS format (EndNote, RefMan)

TY  - JOUR
AB  - By integrating constructs from the λ-calculus and the π-calculus, in higher-order process calculiexchanged values may contain processes. This paper studies the relative expressiveness of HOπ,the higher-order π-calculus in which communications are governed by session types. Our maindiscovery is that HO, a subcalculus of HOπ which lacks name-passing and recursion, can serveas a new core calculus for session-typed higher-order concurrency. We show that HO can encodeHOπ fully abstractly (up to typed contextual equivalence) more precisely and efficiently than thefirst-order session π-calculus (π). Overall, under the discipline of session types, HOπ, HO, and πare equally expressive; however, we show that HOπ is more tightly related to HO than to π.
AU  - Kouzapas,D
AU  - Pérez,JA
AU  - Yoshida,N
DO  - 10.1016/j.ic.2019.06.002
EP  - 54
PY  - 2019///
SN  - 0890-5401
SP  - 1
TI  - On the relative expressiveness of higher-order session processes
T2  - Information and Computation
UR  - http://dx.doi.org/10.1016/j.ic.2019.06.002
UR  - https://www.sciencedirect.com/science/article/pii/S0890540119300495
UR  - http://hdl.handle.net/10044/1/72000
VL  - 268
ER  -
Download