Formalising Subject Reduction and Progress for Multiparty Session Processes. - Burak Ekici; Tadayoshi Kamegai; Nobuko Yoshida (ITP, 2025)