A modal separation logic for resource dynamics
From MaRDI portal
Publication:4612424
DOI10.1093/logcom/exv031zbMath1444.03049OpenAlexW2468564096MaRDI QIDQ4612424
Didier Galmiche, Jean-René Courtault
Publication date: 31 January 2019
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exv031
Related Items
On Composing Finite Forests with Modal Logics, An epistemic separation logic with action models, A separation logic with histories of epistemic actions as resources, A public announcement separation logic, Unnamed Item, Unnamed Item, A Substructural Epistemic Resource Logic