There is a newer version of the record available.

Published June 2, 2022 | Version v4
Software Open

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

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:8eeae2340f29ba2f3a9998afbd5f142e
1.3 MB Preview Download
md5:06aed2a19d316616af60d96430fc4139
1.2 kB Preview Download
md5:273115f9f3bcf4b108627991a4a5983b
1.8 GB Preview Download