Back to Search Start Over

The Universal Process

Authors :
Fu, Yuxi
Source :
Logical Methods in Computer Science, Volume 13, Issue 4 (November 27, 2017) lmcs:4073
Publication Year :
2017

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.

Details

Database :
arXiv
Journal :
Logical Methods in Computer Science, Volume 13, Issue 4 (November 27, 2017) lmcs:4073
Publication Type :
Report
Accession number :
edsarx.1708.06010
Document Type :
Working Paper
Full Text :
https://doi.org/10.23638/LMCS-13(4:11)2017