Looking at separation algebras with Boolean BI-eyes

DOI10.1007/978-3-662-44602-7_25MaRDI QIDQ3190171zbMATH OpenOpenAlexFDO

Authors Dominique Larchey-Wendling, Didier Galmiche

Publication date 15 September 2014

Published in Advanced Information Systems Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-44602-7_25

Mathematics Subject Classification ID

Logic in computer science (03B70) Other algebras related to logic (03G25)

Recommendations

• Expressivity Properties of Boolean BI Through Relational Models
• A logic of separating modalities
• On Model Checking Boolean BI
• Towards algebraic separation logic
• Algebraic separation logic

Cited in

(4)

• Stone-type dualities for separation logics
• Abstract hidden Markov models: a monadic account of quantitative information flow
• A stone-type duality theorem for separation logic via its underlying bunched logics
• Completeness for a first-order abstract separation logic

This page was built for publication: Looking at separation algebras with Boolean BI-eyes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3190171)