霍普拉

HOPLA——一种高阶过程语言。介绍了一种用于高阶非确定性过程的小而有力的语言。它的根在一个线性域理论的并发勾画,但在大多数情况下,它本身更具操作性的帐户。该语言可以看作是“前缀和”的lambda演算的扩展,其中类型表示进程的计算路径的形式。它的操作语义,互模拟,同余性质和表达能力进行了探索,特别是,它显示了它可以直接编码过程语言,如CCS,CCS的过程传递,和移动环境与公名。