约翰·博格斯特罗姆;拉姆纳斯·古特科瓦斯;约阿希姆·帕罗;比约恩·维克多;约翰·奥曼·波霍拉 应用程序计算的分类语义框架。 (英语) Zbl 1448.68331号 日志。方法计算。科学。 12,第1号,第8号论文,49页(2016)。 摘要:应用的进程计算包括高级编程结构,如类型系统、与模式匹配的通信、加密原语、并发约束、不确定性、进程创建和动态连接拓扑。一些这样的形式,例如应用pi演算,是pi演计算的扩展;越来越多的人面向特定的应用程序或计算范式。我们的目标是建立一个统一的框架来表示不同的过程计算和计算概念。为此,我们使用新的抽象模式和模式匹配扩展了我们以前在psi-calculi方面的工作,并将排序添加到数据术语语言中,为主题缩减提供了足够的标准。我们的框架可以直接表示几个现有的过程计算;得到的过渡系统同构于原始系统,直到强的互模拟。我们还演示了数据项计算的不同概念,包括密码原语和具有不稳定选择的lambda演算。最后,我们证明了互模拟的标准同余和结构性质;在单名排序的情况下,使用Nominal Isabelle对证明进行了机器检查。 引用于1文件 MSC公司: 第68季度85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 关键词:表现力;模式匹配;类型系统;定理证明;Pi演算;标称集 PDF格式BibTeX公司 XML格式引用 \textit{J.Borgström}等人,《日志》。方法计算。科学。12,第1号,第8号论文,49页(2016;Zbl 1448.68331) 全文: 内政部