53 citations · 53 across the 1 of their papers we have counts for
1 paper
Naoki Kobayashi, Kohei Suenaga, Lucian Wischik
We propose a type-based resource usage analysis for the π-calculus extended with resource creation/access primitives. The goal of the resource usage analysis is to statically…