宇宙过程
摘要：通用进程是指，在给定某种类型的进程的G"{o}del索引之后，产生与编码进程等价的进程的一种进程演算。本文演示了如何形式化地定义通用进程，并且如何构造带有值传递的进程演算的通用进程。通过在进程模型中探索这样一个通用进程的存在，可以实现高阶通信、安全协议和编程语言。本文还描述了S-m-n定理的进程版本，展示了如何将递归理论嵌入到进程演算中。
作者：Yuxi Fu
论文ID：1708.06010
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22