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)- Resource graphs and countermodels in resource logics
- Variables as resource in separation logic
- Stone-type dualities for separation logics
- A substructural modal logic of utility
- The semantics of BI and resource tableaux
- A modal BI logic for dynamic resource properties
- Algebra and logic for resource-based systems modelling
- FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
- A substructural epistemic resource logic
- Classical BI
- Abstract hidden Markov models: a monadic account of quantitative information flow
- A public announcement separation logic
- Expressivity Properties of Boolean BI Through Relational Models
- Models and Separation Logics for Resource Trees
- scientific article; zbMATH DE number 2233515 (Why is no real title available?)
- On Composing Finite Forests with Modal Logics
- Resource separation in dynamic logic of propositional assignments
- Resource separation in dynamic logic of propositional assignments
- An epistemic separation logic with action models
- A separation logic with histories of epistemic actions as resources
- A calculus and logic of bunched resources and processes
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)
