Mobility
Reading
Group
π-calculus, Session Types research at the University of Oxford
Home
People
Publications
Grants
Talks
Tutorials
Tools
Awards
Kohei Honda
CAScript
Link
Sources
Related publications
Lorenzo Gheri
, Ivan Lanese, Neil Sayers, Emilio Tuosto,
Nobuko Yoshida
:
Design-by-Contract for Flexible Multiparty Session Protocols
.
ECOOP 2022
: 8:1 - 8:28
.