霍普拉

HOPLA——一种高阶过程语言。介绍了一种适用于高阶不确定性过程的小型但功能强大的语言。它的根源是一个线性域理论的并发性,虽然在大多数情况下,它自己借给自己一个更可操作的帐户。该语言可以看作是lambda演算的一个扩展,其中“前缀和”的类型表示进程能够执行的计算路径的形式。探讨了它的操作语义、互模拟、同余特性和表达能力,特别是它如何直接对CCS、CCS等过程语言进行编码,并用公共名称对移动环境进行编码。