A modal separation logic for resource dynamics
From MaRDI portal
Recommendations
- Resource separation in dynamic logic of propositional assignments
- Resource separation in dynamic logic of propositional assignments
- FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
- Models and Separation Logics for Resource Trees
- A modal BI logic for dynamic resource properties
- Separation logics and modalities: a survey
- The power of modal separation logics
- A modal view on resource-bounded propositional logics
- Multimodal Separation Logic for Reasoning About Operational Semantics
Cited in
(21)- A public announcement separation logic
- A substructural modal logic of utility
- scientific article; zbMATH DE number 2233515 (Why is no real title available?)
- Stone-type dualities for separation logics
- A substructural epistemic resource logic
- Models and Separation Logics for Resource Trees
- Abstract hidden Markov models: a monadic account of quantitative information flow
- Resource separation in dynamic logic of propositional assignments
- Resource separation in dynamic logic of propositional assignments
- Resource graphs and countermodels in resource logics
- Expressivity Properties of Boolean BI Through Relational Models
- A calculus and logic of bunched resources and processes
- A modal BI logic for dynamic resource properties
- The semantics of BI and resource tableaux
- Variables as resource in separation logic
- On Composing Finite Forests with Modal Logics
- Algebra and logic for resource-based systems modelling
- FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
- An epistemic separation logic with action models
- Classical BI
- A separation logic with histories of epistemic actions as resources
This page was built for publication: A modal separation logic for resource dynamics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4612424)
