Published June 2, 2022 | Version v7
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:92a0571246f9cd8ae25ce52f17f1d66e
1.3 MB Preview Download
md5:d0f32438d11d5cb3aa83ca6e6501ac44
8.9 kB Preview Download
md5:273115f9f3bcf4b108627991a4a5983b
1.8 GB Preview Download