Mobility
Reading
Group
π-calculus, Session Types research at Imperial College
Home
People
Publications
Grants
Talks
Tutorials
Tools
Awards
Kohei Honda
CONCUR Interview
A Gentle Adventure Mechanising Message Passing Concurrency Systems
at
VEST
2021
Models of concurrent computation and session types
at
FLOLAC 2018
Improving security with reversibility and session types
at
CGO
2018
Principles and practice of session types
at
POPL
2014