Formally Verified Liveness with Multiparty Session Types in Rocq.

Omer Keskin, Nobuko Yoshida, Rob van Glabbeek

Browse the full ITP paper archive.