MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Multiparty PGCD
Multiparty Motion Coordination: From Choreographies to Robotics Programs

This artifact, for the related OOPSLA 2020 publication below, covers the verification results presented in the paper.

Sources
Related publications