Step-Indexed Kripke Model of Separation Logic for Storable Locks
From MaRDI portal
Publication:5739354
DOI10.1016/j.entcs.2011.09.018zbMath1342.68075OpenAlexW1981363830WikidataQ113318229 ScholiaQ113318229MaRDI QIDQ5739354
Could not fetch data.
Publication date: 15 July 2016
Published in: (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2011.09.018
Could not fetch data.
Could not fetch data.