A calculus and logic of bunched resources and processes

From MaRDI portal
Publication:906271

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




Related Items (6)



Cites Work


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