We extend the linear π-calculus with composite regular types in such away that data containing linear values can be shared among several processes,if there is no overlapping access to such values. We describe a typereconstruction algorithm for the extended type system and discuss somepractical aspects of its implementation.
展开▼
