MobilityReadingGroup

π-calculus, Session Types research at Imperial College

KMC
a tool for checking k-multiparty compatibility in communicating session automata
Link Sources
Related publications