Mobility
Reading
Group
π-calculus, Session Types research at Imperial College
Home
People
Publications
Grants
Talks
Tutorials
Tools
Awards
Kohei Honda
CONCUR Interview
Zooid
Link
Sources
Related publications
David Castro-Perez
,
Francisco Ferreira
,
Lorenzo Gheri
,
Nobuko Yoshida
:
Zooid: A DSL for Certified Multiparty Computation
.
PLDI 2021
: 237 - 251
.