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.

    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
    Submitted 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 1642 times.
    This article's PDF has been downloaded 404 times.