TY  - RPRT
TI  - Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency
AU  - Adrian Francalanza
AU  - Edsko DeVries
AU  - Matthew Hennessy
PY  - 2014
DO  - 10.2168/lmcs-10(2:15)2014
UR  - https://arxiv.org/abs/1405.6100
ID  - 1405.6100
ER  -