Elimination of spatial connectives in static spatial logics

DOI10.1016/J.TCS.2004.10.006MaRDI QIDQ1763729zbMATH OpenOpenAlexFDO

Authors Etienne Lozes

Publication date 22 February 2005

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2004.10.006

zbMATH Keywords

MinimalitySpatial logicsMobile ambientsSeparation logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Recommendations

• Adjuncts elimination in the static ambient logic
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• CONCUR 2004 - Concurrency Theory
• Elimination of quantifiers and undecidability in spatial logics for concurrency

Cites work

• scientific article; zbMATH DE number 1692931 (Why is no real title available?)
• scientific article; zbMATH DE number 1722648 (Why is no real title available?)
• scientific article; zbMATH DE number 1956515 (Why is no real title available?)
• scientific article; zbMATH DE number 2081098 (Why is no real title available?)
• scientific article; zbMATH DE number 1841829 (Why is no real title available?)
• scientific article; zbMATH DE number 2242579 (Why is no real title available?)
• An axiomatic basis for computer programming
• Anytime, anywhere: modal logics for mobile ambients
• CONCUR 2004 - Concurrency Theory
• Extensionality and intensionality of the ambient logics
• Foundations of Software Science and Computation Structures

Cited in

(12)

• Losing connection: the modal logic of definable link deletion
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• On the almighty wand
• CONCUR 2004 - Concurrency Theory
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Elimination of quantifiers and undecidability in spatial logics for concurrency
• Completeness and expressiveness of pointer program verification by separation logic
• On the Computational Complexity of Spatial Logics with Connectedness Constraints
• Adjuncts elimination in the static ambient logic
• On the Almighty Wand
• Local reasoning about data update
• Spatial logics with connectedness predicates

Describes a project that uses

Uses Software

• SLMC

This page was built for publication: Elimination of spatial connectives in static spatial logics

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