There is a newer version of the record available.

Published June 2, 2022 | Version v1
Software Open

Multiparty GV: Functional Multiparty Session Types With Certified Deadlock Freedom (Coq mechanization)

Authors/Creators

  • 1. Radboud University

Description

The artifact for Multiparty GV.

See README.md for details.

This artifact contains source (mpgv.zip) and a VM (vm.zip).

Files

mpgv.zip

Files (1.8 GB)

Name Size Download all
md5:3036cc4ae4db6a65d0737d00f5e63f27
543.6 kB Preview Download
md5:5594635e8c8a04a786a4e149b6d6a2ab
6.6 kB Preview Download
md5:54bce85609c23696c8a75c1b720328bd
1.8 GB Preview Download