Mobility
Reading
Group
π-calculus, Session Types research at the University of Oxford
Home
People
Publications
Grants
Talks
Tutorials
Tools
Awards
Kohei Honda
asynchronous-subtyping
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation
Sources
Related publications
Mario Bravetti, Marco Carbone,
Julien Lange
,
Nobuko Yoshida
, Gianluigi Zavattaro
:
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation
.
LMCS
: 20:1 - 20:35
.