102 citations · 226 across the 18 of their papers we have counts for
1 paper · 2 filters
Luca Padovani
We extend the linear π-calculus with composite regular types in such a way that data containing linear values can be shared among several processes, if there is no overlapping acce…