Type Reconstruction for the Linear \pi-Calculus with Composite Regular Types

TL;DR

This paper introduces an extension to the linear pi-calculus with composite regular types, enabling shared linear data among processes without conflicts, along with a type reconstruction algorithm and implementation insights.

Contribution

It presents a novel extension of the linear pi-calculus with composite regular types and a type reconstruction algorithm for practical implementation.

Findings

The extended type system allows sharing of linear data without conflicts.

A type reconstruction algorithm is developed for the extended system.

Practical implementation aspects are discussed.

Abstract

We extend the linear {\pi}-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 access to such values. We describe a type reconstruction algorithm for the extended type system and discuss some practical aspects of its implementation.