Fingerprint
Dive into the research topics of 'Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing
Jules Jacobs, Jonas Kastberg Hinrichsen, Robbert Krebbers
Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
6
Citations
(Scopus)