Gabrielle Anderson, David J. Pym. A calculus and logic of bunched resources and processes. Theoretical Computer Science, 614:63-96, 2016. [doi]
@article{AndersonP16,
title = {A calculus and logic of bunched resources and processes},
author = {Gabrielle Anderson and David J. Pym},
year = {2016},
doi = {10.1016/j.tcs.2015.11.035},
url = {http://dx.doi.org/10.1016/j.tcs.2015.11.035},
researchr = {https://researchr.org/publication/AndersonP16},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {614},
pages = {63-96},
}