Mobility
Reading
Group
π-calculus, Session Types research at the University of Oxford
Home
People
Publications
Grants
Talks
Tutorials
Tools
Awards
Kohei Honda
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