Models and Separation Logics for Resource Trees
From MaRDI portal
Publication:5427253
DOI10.1093/logcom/exm019zbMath1130.68043OpenAlexW2050700536MaRDI QIDQ5427253
Publication date: 19 November 2007
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/4f427478df69b66d92c6e3bcf841c97102aa2d40
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)
Related Items
DOM: Specification and Client Reasoning, Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding, Algebra and logic for resource-based systems modelling