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

lmcs:1614 - Logical Methods in Computer Science, December 22, 2015, Volume 11, Issue 4 - https://doi.org/10.2168/LMCS-11(4:13)2015
Type Reconstruction for the Linear \pi-Calculus with Composite Regular TypesArticle

Authors: Luca Padovani ORCID

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.

Comment: 45 pages

https://doi.org/10.2168/LMCS-11(4:13)2015
Source: arXiv.org:1510.01752
Volume: Volume 11, Issue 4
Published on: December 22, 2015
Imported on: September 16, 2014
Keywords: Computer Science - Programming Languages
Licence: arXiv.org - Non-exclusive license to distribute

Classifications

Mathematics Subject Classification 20201
Sources:
  • [1] zbMATH Open.

6 Documents citing this article

Share and export

Consultation statistics

This page has been seen 3028 times.
This article's PDF has been downloaded 597 times.