53 citations · 154 across the 20 of their papers we have counts for
1 paper · 1 filter
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…