Published June 1, 2023
| Version v2
Journal article
Open
Dependent Session Protocols in Separation Logic from First Principles (Artifact)
Authors/Creators
- 1. Radboud University
- 2. Aarhus University
Description
Artifact for the paper "Dependent Session Protocols in Separation Logic from First Principles". See README.pdf for details.