There is a newer version of the record available.

Published June 2, 2022 | Version v2
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:90a9db6ae920f4f63bcdfab761901793
543.6 kB Preview Download
md5:c383ff5ae7417d989b5af21eb20f0091
6.7 kB Preview Download
md5:54bce85609c23696c8a75c1b720328bd
1.8 GB Preview Download