Aarhus University Seal / Aarhus Universitets segl

A Step-Indexed Kripke Model of Separation Logic for Storable Locks

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearchpeer-review

Original languageEnglish
JournalElectronic Notes in Theoretical Computer Science
Volume276
ISSN1571-0661
DOIs
Publication statusPublished - 2011
Externally publishedYes

See relations at Aarhus University Citationformats

ID: 73743488