A calculus and logic of bunched resources and processes

DOI10.1016/j.tcs.2015.11.035zbMath1333.68195OpenAlexW2219757995WikidataQ56445149 ScholiaQ56445149MaRDI QIDQ906271

Gabrielle Anderson, David J. Pym

Publication date: 21 January 2016

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

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) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (6)

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 ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A Substructural Epistemic Resource Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic of separating modalities
• A semantics for concurrent separation logic
• Resources, concurrency, and local reasoning
• Calculi for synchrony and asynchrony
• Algebra of communicating processes with abstraction
• Higher-level synchronising devices in Meije-SCCS
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Generic Models of the Laws of Programming
• A calculus for costed computations
• The semantics of BI and resource tableaux
• Algebra and logic for resource-based systems modelling
• A Logical and Computational Theory of Located Resource
• Algebraic laws for nondeterminism and concurrency
• The Logic of Bunched Implications
• BI as an assertion language for mutable data structures
• Separation Logic Semantics for Communicating Processes

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