×
菲奥雷，M.P。;莫吉，E。;桑吉奥吉，D。

（pi）演算的完全抽象模型。 （英语） Zbl 1053.68066号

Inf.计算。 179，第1期，76-117（2002）.
摘要：本文提供了关于强后期互模拟和同余的（pi）-演算的完全抽象（域理论）模型和有限（pi-演算）的通用（集理论）模型。这是通过考虑范畴模型，为这些模型定义元语言，并将（pi）演算转换为元语言来实现的。我们方法的一个技术新奇之处是完全抽象的抽象证明：集合理论模型中有限（pi）演算的完全抽象结果被公理地扩展到关于域理论解释的整个（pi。在这个证明中，将不确定性描述为自由结构和元语言的等式理论发挥了中心作用。

引用于28文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

元语言的等式理论

软件：

LOTOS公司
PDF格式BibTeX公司 XML格式引用
\textit｛M.P.Fiore｝等人，信息计算。179，编号1，76--117（2002；Zbl 1053.68066）
全文： 内政部

参考文献：

[1] Abramsky，S.，互模拟领域方程，Inform。和计算。，92161-218（1991年）·Zbl 0718.68057号
[2] Abramsky，S.、Jagadeesan，R.和Malacaria，P.1994，PCF的完全抽象（扩展抽象），在里面; Abramsky，S.、Jagadeesan，R.和Malacaria，P.1994，PCF的完全抽象（扩展抽象），在里面·Zbl 0942.68615号
[3] Abramsky，S，and，Jung，A.1994，领域理论，在里面; Abramsky，S，and，Jung，A.1994，领域理论，在里面
[4] 丙酮，L。；Ingólfsdóttir，A.，紧凑GSOS语言的CPO模型，Inform。和计算。，129, 107-141 (1996) ·兹比尔1096.68623
[5] S.O.安德森。；Power，A.J.，有限不确定性的一种代表性方法，Theoret。计算。科学。，177, 3-25 (1997) ·Zbl 0901.68105号
[6] Baeten，J，and，Weijland，W.1990，《过程代数》，《剑桥理论计算机科学丛书》，剑桥大学出版社，英国剑桥。；Baeten，J，and，Weijland，W.1990，《过程代数》，《剑桥理论计算机科学丛书》，剑桥大学出版社，英国剑桥·Zbl 0716.68002号
[7] 博雷尔，M。；De Nicola，R.，π演算的符号语义，Inform。和计算。，126, 34-52 (1996) ·Zbl 0853.68126号
[8] Bolognesi，T.和Brinksma，E.1989，ISO规范语言LOTOS简介，在里面; Bolognesi，T.和Brinksma，E.1989，ISO规范语言LOTOS简介，在里面
[9] Cattani，G.L，Stark，I，and，Winskel，G.1997，π演算的Presheaf模型，在里面; Cattani，G.L，Stark，I，and，Winskel，G.1997，π演算的Presheaf模型，在里面·Zbl 0884.68078号
[10] Cenciarelli，P.和Moggi，E.1993，指称语义中模块化的句法方法，在里面; Cenciarelli，P.和Moggi，E.1993，指称语义中模块化的句法方法，在里面
[11] Fiore，M.P.，1996，部分映射范畴中的公理域理论，计算机科学杰出论文，剑桥大学出版社，英国剑桥。；Fiore，M.P.，1996，部分映射范畴中的公理域理论，计算机科学杰出论文，剑桥大学出版社，英国剑桥·Zbl 0979.68549号
[12] Fiore，M.P，Cattani，G.L，and，Winskel，G.1999，弱互模拟和开放映射，在里面; Fiore，M.P，Cattani，G.L，and，Winskel，G.1999，弱互模拟和开放映射，在里面
[13] Hennessy，M.，同步进程的术语模型，Inform。和控制，51，58-75（1981）·兹比尔0503.68022
[14] Hennessy，M.，高阶过程的完全抽象指称模型，Inform。和计算。，112, 55-95 (1994) ·Zbl 0806.68071号
[15] Hennessy，M.，1996，圆周率微积分的完全抽象指称语义，计算机科学技术报告1996:04，萨塞克斯大学认知与计算科学学院。；Hennessy，M.1996，《Pi-Calculus的完全抽象表示语义》，《计算机科学技术报告1996:04》，苏塞克斯大学认知与计算科学学院·Zbl 1014.68105号
[16] Hennessy，M.和Plotkin，G.1979，简单并行编程语言的完全抽象，在里面; Hennessy，M.和Plotkin，G.1979，简单并行编程语言的完全抽象，在里面·Zbl 0457.68006号
[17] Hennessy，M.和Plotkin，G.1980，CCS术语模型，在里面; Hennessy，M.和Plotkin，G.1980，CCS术语模型，在里面·Zbl 0479.68011号
[18] Hyland，J.M.E和Ong，C.-H.L.1995，圆周率微积分，对话游戏和PCF，在里面; Hyland，J.M.E，and，Ong，C.-H.L.1995，Pi-calculus，对话游戏和PCF，在里面
[19] Jeffrey，A.1995，具有单元类型的并发函数语言的完全抽象语义，在里面; Jeffrey，A.1995，具有单元类型的并发函数语言的完全抽象语义，在里面
[20] Lambek，J，and，Scott，P.J.1986，《高阶范畴逻辑导论》，剑桥大学出版社，英国剑桥。；Lambek，J，and，Scott，P.J.1986，《高阶范畴逻辑导论》，剑桥大学出版社，英国剑桥·Zbl 0596.0302号
[21] 米尔纳，R。；帕罗，J。；Walker，D.，移动进程演算，I和II，Inform。和计算。，100, 1-77 (1992) ·Zbl 0752.68037号
[22] Milner，R.1993，《多元π-微积分：教程》，技术报告ECS-LFCS-91-180，LFCS，爱丁堡大学，1991年。（同时在里面; Milner，R.1993，《多元π-微积分：教程》，技术报告ECS-LFCS-91-180，LFCS，爱丁堡大学，1991年。（同时在里面
[23] Moggi，E.，《计算和单数概念》，Inform。和计算。，93, 55-92 (1991) ·Zbl 0723.68073号
[24] Oles，F.J.1985，类型代数，函子范畴和块结构，在里面; Oles，F.J.1985，类型代数，函子范畴和块结构，在里面·Zbl 0591.68013号
[25] 帕罗，J。；Sangiorgi，D.，通过名字计算的代数理论，Inform。和计算。，120, 174-197 (1995) ·Zbl 0836.03020号
[26] Pitts，A.M.和Stark，I.D.B.1993，动态创建局部名称的高阶函数的可观测属性，或：新的在里面; Pitts，A.M.和Stark，I.D.B.1993，动态创建局部名称的高阶函数的可观测属性，或：What’s新的在里面
[27] Rutten，J.，《过程作为术语：互模拟的非资金模型》，《计算机科学中的数学结构》，2257-275（1992）·Zbl 0798.68094号
[28] Sangiorgi，D.1992，《过程代数中的迁移率表达：一阶和高阶范式》，爱丁堡大学计算机科学系博士论文。；Sangiorgi，D.1992，《在过程代数中表达移动性：一阶和高阶范式》，爱丁堡大学计算机科学系博士论文。
[29] Sangiorgi，D.，关于互模拟证明方法，《计算机科学中的数学结构》，8，447-479（1998）·Zbl 0916.68057号
[30] Sangiorgi，D.，π演算的互模拟理论，信息学报，33，69-97（1996）·Zbl 0835.68072号
[31] Sangiorgi，D.，π-演算，内部流动性和代理传递演算，理论。计算。科学。，167, 235-274 (1996) ·Zbl 0874.68103号
[32] Sangiorgi，D和Walker，D（即将出版），《π-微积分：移动过程理论》，剑桥大学出版社，英国剑桥。；Sangiorgi，D，and，Walker，D（即将出版），《π-微积分：移动过程理论》，剑桥大学出版社，英国剑桥·Zbl 0981.68116号
[33] Smyth，M。；Plotkin，G.，递归区域方程的分类理论解，SIAM J.Compute。，11, 761-783 (1982) ·Zbl 0493.68022号
[34] Stark，I.1996，π演算的完全抽象领域模型，在里面; Stark，I.1996，π演算的完全抽象领域模型，在里面
[35] 汤姆森，B.1990，《高阶通信系统的微积分》。帝国理工学院计算机系博士论文。；汤姆森，B.1990，《高阶通信系统的微积分》。帝国理工学院计算机系博士论文。
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。