Aaron Joseph Turon, Mitchell Wand. A Resource Analysis of the π-calculus. Electronic Notes in Theoretical Computer Science, 276:313-334, 2011. [doi]
@article{TuronW11-0,
title = {A Resource Analysis of the π-calculus},
author = {Aaron Joseph Turon and Mitchell Wand},
year = {2011},
doi = {10.1016/j.entcs.2011.09.028},
url = {http://dx.doi.org/10.1016/j.entcs.2011.09.028},
researchr = {https://researchr.org/publication/TuronW11-0},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {276},
pages = {313-334},
}