Models and Separation Logics for Resource Trees

DOI10.1093/logcom/exm019zbMath1130.68043OpenAlexW2050700536MaRDI QIDQ5427253

Nicolas Biri, Didier Galmiche

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

zbMATH Keywords

bunched implications logic

Mathematics Subject Classification ID

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