Skip to main navigation Skip to search Skip to main content

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

  • Alexandre Buisse
  • , Lars Birkedal
  • , Kristian Støvring

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

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

    Cite this