MobilityReadingGroup

π-calculus, Session Types research at Imperial College

EMTST: Engineering the Meta-theory of Session Types
Libraries for mechanising the theory of session types calculi in Coq.
LinkLink Sources
Related publications