MobilityReadingGroup

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

refinement-mpst
Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation
Link Sources
Related publications