Dependent Session Protocols in Separation Logic from First Principles (Artifact)

There is a newer version of the record available.

Published June 1, 2023 | Version v1

Journal article Open

Artifact for the paper "Dependent Session Protocols in Separation Logic from First Principles". See README.pdf for details.

Files

173

Views

307

Downloads

Show more details

DOI

Resource type

Journal article

Publisher

Zenodo

License: Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more