Formalising Subject Reduction and Progress for Multiparty Session Processes.

Burak Ekici, Tadayoshi Kamegai, Nobuko Yoshida

Browse the full ITP paper archive.