Naoki Kobayashi Kohei Suenaga Lucian Wischik Resource Usage Analysis for the <i>pi</i>-Calculus. 298-312 2006 conf/vmcai/2006 VMCAI http://dx.doi.org/10.1007/11609773_20 db/conf/vmcai/vmcai2006.html#KobayashiSW06