Resource Usage Analysis for the Pi-Calculus

Cite this paper

@inproceedings{Kobayashi2006ResourceUA, title={Resource Usage Analysis for the Pi-Calculus}, author={Naoki Kobayashi and Kohei Suenaga and Lucian Wischik}, booktitle={VMCAI}, year={2006} }