The Universal Process
Logic in Computer Science
2023-06-22 v3
Abstract
A universal process of a process calculus is one that, given the G\"{o}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.
Keywords
Cite
@article{arxiv.1708.06010,
title = {The Universal Process},
author = {Yuxi Fu},
journal= {arXiv preprint arXiv:1708.06010},
year = {2023}
}