Models and Separation Logics for Resource Trees
From MaRDI portal
Publication:5427253
DOI10.1093/logcom/exm019zbMath1130.68043MaRDI 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
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
68P05: Data structures
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