Connectivity Graphs: A Method for Proving Deadlock Freedom Based on Separation Logic (Artifact)

Find Full text
Creators
Jacobs, J.
Balzer, S.
Krebbers, R.
Date of Archiving
2021
Archive
Zenodo
DOI
Related publications
Publication type
Dataset
Access level
Open access
If a DOI or any other persistent identifier is unavailable, please use the following repository identifier to link to this item: https://hdl.handle.net/2066/241269   https://hdl.handle.net/2066/241269
Display more details