A Resource Analysis of the π-calculus

Aaron Joseph Turon, Mitchell Wand. A Resource Analysis of the π-calculus. Electronic Notes in Theoretical Computer Science, 276:313-334, 2011. [doi]

Bibliographies