Software Prototype for "Generalising Projection in Asynchronous Multi-party Session Types"
Felix Stutz · Zenodo (CERN European Organization for Nuclear Research) · 2021
This is the code of the software prototype which we used for the evaluation of our CONCUR21 paper: This is the version we used for the evaluation in our CONCUR21 paper. Please check the README to reproduce the results.