Yuxi Fu - The Universal Process

lmcs:4073 - Logical Methods in Computer Science, November 27, 2017, Volume 13, Issue 4 - https://doi.org/10.23638/LMCS-13(4:11)2017
The Universal ProcessArticle

Authors: Yuxi Fu

    A universal process of a process calculus is one that, given the Gödel index of a process of a certain type, produces a process equivalent to the encoded process. This paper demonstrates how universal processes can be formally defined and how a universal process of the value-passing calculus can be constructed. The existence of such a universal process in a process model can be explored to implement higher order communications, security protocols, and programming languages in the process model. A process version of the S-m-n theorem is stated to showcase how to embed the recursion theory in a process calculus.


    Volume: Volume 13, Issue 4
    Published on: November 27, 2017
    Accepted on: November 27, 2017
    Submitted on: November 16, 2017
    Keywords: Computer Science - Logic in Computer Science

    Consultation statistics

    This page has been seen 1534 times.
    This article's PDF has been downloaded 300 times.