Resource usage analysis for the π-calculus. (2006)

by N Kobayashi, K Suenaga, L Wischik
Venue:In VMCAI, LNCS 3855,