Naoki Kobayashi Kohei Suenaga Lucian Wischik Resource Usage Analysis for the p-Calculus. 2006 2 Logical Methods in Computer Science 3 http://dx.doi.org/0.2168/LMCS-2(3:4)2006 db/journals/lmcs/lmcs2.html#KobayashiSW06