Synchronous, asynchronous and timed affine multiparty session types - Lagaillardie, Nicolas; Yoshida, Nobuko; Kelly, Paul; Engineering; Physical Sciences Research Council (Computing, Imperial College London, 2024)