新HOPLA swMATH ID: 6992 软件作者： 格林·温斯克尔（Glynn Winskel）；弗朗西斯科·扎帕·纳德利 描述： New-HOPLA：一种具有名称生成功能的高阶过程语言本文介绍了新的HOPLA，这是一种简洁但功能强大的语言，用于具有名称生成的高阶非确定性过程。它作为领域理论的元语言的起源被勾勒出来，但本文主要集中在它的操作语义上。该语言是类型化的，是一种描述其可以执行的计算路径形状的过程类型。探讨了它的转换语义、互模拟、同余性质和表达能力。给出了著名过程代数的编码，包括（pi）-演算、高阶（pi”-演算和移动环境。 主页： http://www.cl.cam.ac.uk/techreports/UCAM-cl-TR-589.pdf 相关软件： HOPLA公司 引用于： 3文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 New-HOPLA：一种具有名称生成功能的高阶过程语言。 Zbl 1090.68074号格林·温斯克尔;弗朗西斯科·扎帕·纳德利 2004 3位作者引用 2 格林·温斯克尔 1 Hyland，J.Martin E。 1 弗朗西斯科·扎帕·纳德利 连载1篇 1 理论计算机科学 在3个字段中引用 三 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 范畴理论；同调代数（18-XX） 按年份列出的引文