A calculus and logic of bunched resources and processes

DOI10.1016/J.TCS.2015.11.035MaRDI QIDQ906271zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Gabrielle Anderson, David Pym

Publication date 21 January 2016

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

modal logicprocess algebrabunched logicresource semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Systems modelling via resources and processes: philosophy, calculus, semantics, and logic
• Algebra and logic for resource-based systems modelling
• A calculus and logic of resources and processes
• A logical and computational theory of located resource
• A modal separation logic for resource dynamics

Cites work

• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3688686 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 3639189 (Why is no real title available?)
• A calculus for costed computations
• A discipline of mathematical systems modelling
• A logic of separating modalities
• A logical and computational theory of located resource
• A semantics for concurrent separation logic
• Algebra and logic for resource-based systems modelling
• Algebra of communicating processes with abstraction
• Algebraic laws for nondeterminism and concurrency
• BI as an assertion language for mutable data structures
• Calculi for synchrony and asynchrony
• Generic models of the laws of programming
• Higher-level synchronising devices in Meije-SCCS
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Resources, concurrency, and local reasoning
• Separation Logic Semantics for Communicating Processes
• The Logic of Bunched Implications
• The semantics of BI and resource tableaux

Cited in

(10)

• Systems modelling via resources and processes: philosophy, calculus, semantics, and logic
• A calculus and logic of resources and processes
• A stone-type duality theorem for separation logic via its underlying bunched logics
• A process calculus for privacy-preserving protocols in location-based service systems
• Algebra and logic for resource-based systems modelling
• A logical and computational theory of located resource
• Abstract hidden Markov models: a monadic account of quantitative information flow
• Stone-type dualities for separation logics
• scientific article; zbMATH DE number 6970800 (Why is no real title available?)
• A substructural epistemic resource logic

This page was built for publication: A calculus and logic of bunched resources and processes

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