TY  - RPRT
TI  - Resource Usage Analysis for the Pi-Calculus
AU  - Naoki Kobayashi
AU  - Kohei Suenaga
AU  - Lucian Wischik
PY  - 2006
DO  - 10.2168/lmcs-2(3:4)2006
UR  - https://arxiv.org/abs/cs/0608035
ID  - cs/0608035
ER  -