A Logical and Computational Theory of Located Resource
From MaRDI portal
Publication:3656772
DOI10.1093/logcom/exp021zbMath1185.68440OpenAlexW1972325829MaRDI QIDQ3656772
Brian Monahan, Matthew Collinson, David J. Pym
Publication date: 14 January 2010
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/1c6515aef1ff0ac78e281970ede8a6779e34ae8f
Logic in computer science (03B70) 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)
Bunched sequential information ⋮ A logic of separating modalities ⋮ Temporal BI: proof system, semantics and translations ⋮ A calculus and logic of bunched resources and processes ⋮ The virtues of idleness: a decidable fragment of resource agent logic ⋮ Algebra and logic for access control
Uses Software
This page was built for publication: A Logical and Computational Theory of Located Resource
