霍普拉

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