A calculus and logic of bunched resources and processes
DOI10.1016/J.TCS.2015.11.035zbMATH Open1333.68195DBLPjournals/tcs/AndersonP16OpenAlexW2219757995WikidataQ56445149 ScholiaQ56445149MaRDI QIDQ906271FDOQ906271
Authors: Gabrielle Anderson, David 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
Recommendations
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)
Cites Work
- Higher-level synchronising devices in Meije-SCCS
- Possible worlds and resources: The semantics of \(\mathbf{BI}\)
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Logic of Bunched Implications
- BI as an assertion language for mutable data structures
- A semantics for concurrent separation logic
- Calculi for synchrony and asynchrony
- Algebra of communicating processes with abstraction
- Title not available (Why is that?)
- Resources, concurrency, and local reasoning
- A discipline of mathematical systems modelling
- A logic of separating modalities
- A calculus for costed computations
- Generic models of the laws of programming
- Title not available (Why is that?)
- Separation Logic Semantics for Communicating Processes
Cited In (10)
- A process calculus for privacy-preserving protocols in location-based service systems
- A calculus and logic of resources and processes
- Stone-type dualities for separation logics
- A substructural epistemic resource logic
- Abstract hidden Markov models: a monadic account of quantitative information flow
- A logical and computational theory of located resource
- A stone-type duality theorem for separation logic via its underlying bunched logics
- Systems modelling via resources and processes: philosophy, calculus, semantics, and logic
- Algebra and logic for resource-based systems modelling
- Title not available (Why is that?)
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)
