一句话：在进程演算中形式定义通用进程，并构造值传递演算的通用进程，进而嵌入递归论。
本文研究进程演算中的通用进程（universal process）。给定某一类型进程的 Gödel 编码，通用进程能够生成与原进程行为等价的进程。作者首先给出通用进程的形式定义，然后在值传递演算（value-passing calculus）中构造出这样的通用进程。该构造表明，进程模型可实现高阶通信、安全协议以及编程语言的编码。论文还给出进程版本的 S-m-n 定理，用以展示如何将递归论嵌入进程演算之中。
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.