MobilityReadingGroup

π-calculus, Session Types research at the University of Oxford

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