Skip to search boxSkip to navigationSkip 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 Journal
Conference article
 Peer-review

Open access

Publication Information

Output type

Research Output:
Journal Article or Conference Article in Journal
Conference article
 Peer-review

Original language

English

Journal (Volume, Issue Number)

Electronic Notes in Theoretical Computer Science (Volume 276)

Publication milestones

  • Published - 2011

Publication status

Published - 2011

ISSN

1571-0661

Publication IDs

  • Scopus: 80054929699

Publication metrics

PlumX, opens in new tab

Citations
15
Captures
10

Access to documents