Looking at separation algebras with Boolean BI-eyes

DOI10.1007/978-3-662-44602-7_25zbMATH Open1418.03142OpenAlexW608917308MaRDI QIDQ3190171FDOQ3190171

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

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

Mathematics Subject Classification ID

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

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)