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]

Authors

Aaron Joseph Turon

This author has not been identified. Look up 'Aaron Joseph Turon' in Google

Mitchell Wand

This author has not been identified. Look up 'Mitchell Wand' in Google