Step-Indexed Kripke Model of Separation Logic for Storable Locks

From MaRDI portal
Publication:5739354