Published December 16, 2021 | Version v1
Software Open

Artifact: Deadlock-Free Asynchronous Message Reoerderign in Rust with Multiparty Session Types

  • 1. Imperial College London

Description

Artifact of the paper: "Deadlock-Free Asynchronous Message Reoerderign in Rust with Multiparty Session Types", PPoPP 2022.

Files

artifact.zip

Files (204.0 kB)

Name Size Download all
md5:7461776663e4ef590e42b29c44526aac
204.0 kB Preview Download