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

Alexandre Buisse, Lars Birkedal, Kristian Støvring

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftKonferenceartikelForskningpeer review

    OriginalsprogEngelsk
    TidsskriftElectronic Notes in Theoretical Computer Science
    Vol/bind276
    ISSN1571-0661
    DOI
    StatusUdgivet - 2011

    Citationsformater