Published October 4, 2021 | Version 8
Software Open

Artifact for POPL 2022 submission #30 "Fair Termination of Binary Sessions"

Creators

  • 1. Università di Torino

Description

This is the artifact for the POPL 2022 submission #30 Fair Termination of Binary Sessions. The artifact consists of:

  • a VirtualBox image `FairCheck.ova`
  • a source code archive `FairCheck-master.zip`
  • a PDF document with the installation instructions and the evaluation steps of the artifact

Files

Fair Termination of Binary Sessions - Artifact.pdf

Files (5.1 GB)

Name Size Download all
md5:5961c818516e37afd9773f54a47b3d73
127.7 kB Preview Download
md5:ebb745b6dd67f086fab29698c6ebf8bc
896.5 kB Preview Download
md5:328eb0b6c1000062bbf29c8b40e09fc8
5.1 GB Download