×
伊恩·斯塔克

（pi）-演算的自由代数模型。 （英语） Zbl 1134.68043号

西奥。计算。科学。 390，编号2-3，248-270（2008）.
摘要：有限（π）-演算有一个显式的集合论函数范畴模型，该模型因强的后期互模拟同余而被认为是完全抽象的。我们将其描述为Plotkin和Power丰富的Lawvere理论中适当操作和方程组的初始自由代数。因此，我们获得了（pi）-演算模型的一种新的代数描述，并验证了作为通用模型的现有构造。
代数运算是直观的，包括名称创建、通过频道进行名称通信和非确定性选择；然后，这些方程以模块化的方式组合这些特性。我们在一个丰富的环境中工作，通过可用名称索引的集合的“可能世界”类别。这大大扩展了代数理论的经典概念：我们可以指定仅作用于新名称的操作，或具有随进程发展而变化的算术。
基于我们的（π）代数理论，我们描述了一类（pi）-演算模型，并证明它们都保持互模拟同余。我们开发了这类自由模型的直接构造；并推广了以前的结果，以证明所有自由代数模型都是完全抽象的。我们展示了对理论的局部修改如何为\（\pi\）I和早期的\（\pi\）演算提供替代模型。
根据\（\pi\）的理论，我们还得到了一个Moggi风格的计算monad，适用于移动通信系统的编程语言语义。这解决了正确组合计算单体的难题：在本例中，这些单体用于并发、名称生成和通信。

引用于1审查
引用于9文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
18立方厘米 理论（例如代数理论）、结构和语义

关键词：

指称语义学;并发;计算单子;劳弗尔理论;标称集

软件：

Freshml公司
PDF格式BibTeX公司 XML格式引用
\提奥，textit{I.Stark}。计算。科学。390，编号2--3，248--270（2008；Zbl 1134.68043）
全文： 内政部

参考文献：

[1] 马丁·阿巴迪；Fournet，Cédric，移动值、新名称和安全通信，（POPL'01:第28届ACM SIGPLAN-SIGACT编程语言原理研讨会（2001），ACM出版社），104-115·Zbl 1323.68398号
[2] 罗伯特·阿马迪奥（Roberto M.Amadio）。；伊利亚州卡斯特拉尼；Davide Sangiorgi，《异步（pi）演算的互模拟》，理论计算机科学，195,2（1998）·Zbl 0915.68009号
[3] Gérard Boudol，异步和（pi）；Gérard Boudol，异步和（pi）
[4] 吉安·卢卡·卡塔尼；Peter Sewell，《姓名传递过程的模型：交错和因果，信息与计算》，190，2，136-178（2004）·Zbl 1101.68693号
[5] 吉安·卢卡·卡塔尼；伊恩·斯塔克；Winskel，Glynn，《（pi）演算的Presheaf模型》，（范畴理论与计算机科学：第七届国际会议论文集。范畴理论与计算科学：第7届国际会议文献集，CTCS’97。范畴理论与计算机科学：第七届国际会议论文集。范畴理论与计算机科学：第七届国际会议论文集，CTCS’97，计算机科学讲义，第1290卷（1997），Springer-Verlag），106-126·Zbl 0884.68078号
[6] Day，Brian J.，《关于函子的封闭范畴》（《中西部类别研讨会报告IV》，《中西部类别讨论会报告IV》（Reports of the Midwest Category Seminar IV），数学课堂讲稿，第137卷（1970），斯普林格·弗拉格出版社），1-38·Zbl 0203.31402号
[7] 马塞洛·菲奥雷；戈登·普洛金（Gordon Plotkin）；丹尼尔·图里（Daniele Turi），《抽象语法和变量绑定》（第十四届IEEE计算机科学逻辑研讨会论文集（1999），IEEE计算机社会出版社），193-202年
[8] 马塞洛·菲奥雷；Staton，Sam，比较命名过程计算的操作模型，（CMCS 2004:第七届计算机科学中的协同方法国际研讨会论文集。CMCS 2004:第七届国际计算机科学中协同方法研讨会论文集，理论计算机科学电子笔记，第106卷（2004），爱思唯尔），91-104·兹比尔1271.68181
[9] 菲奥雷，马塞洛；Daniele Turi，《名称和值传递的语义》（第十六届IEEE计算机科学逻辑研讨会论文集（2001），IEEE计算机社会出版社），93-104
[10] 马塞洛·菲奥雷（Marcelo P.Fiore）。；尤金尼奥·莫吉；Sangiorgi，Davide，《微积分、信息与计算的完全抽象模型》，179，1，76-117（2002）·Zbl 1053.68066号
[11] 默多克·J·加贝。；Andrew M.Pitts，《使用变量绑定实现抽象语法的新方法》，《计算的形式方面》，13，3-5，341-363（2001）·Zbl 1001.68083号
[12] Hennessy，Matthew，《（π）演算的完全抽象指称语义》，《理论计算机科学》，278，1-2，53-89（2002）·Zbl 1014.68105号
[13] 本田，Kohei；Tokoro，Mario，《异步通信的对象演算》，（ECOOP’91：面向对象编程欧洲会议论文集。ECOOP‘91：面向目标编程欧洲会议文献集，计算机科学讲义，第512卷（1991），Springer-Verlag），133-147
[14] 马丁·海兰德（Martin Hyland）；戈登·普洛金（Gordon Plotkin）；Power，John，《结合计算效果：交换性和总和》，（第二届IFIP理论计算机科学国际会议论文集。第二届国际IFIP理论计算科学国际会议文献集，TCS 2002（2002），Kluwer），474-484·Zbl 1096.68088号
[15] 马丁·海兰德（Martin Hyland）；戈登·普洛金（Gordon Plotkin）；Power，John，《组合效应：总和和张量》，《理论计算机科学》，357，1-3，70-99（2006），期刊版[14]·Zbl 1096.68088号
[16] 马克·琼斯（Mark P.Jones）、吕克·杜蓬切尔（Luc Duponcheel），《编写单子》（Composing monad），研究报告YALEU/DCS/RR-1004，耶鲁大学计算机科学系，1993年；Mark P.Jones，Luc Duponcheel，《编写单子》，研究报告YALEU/DCS/RR-1004，耶鲁大学计算机科学系，1993年
[17] Kelly，G.M。；约翰·鲍尔（John Power，A.），其共轭元是余等式的伴随词，以及有限丰富单子的表示，《纯粹与应用代数杂志》，89，163-179（1993）·Zbl 0779.18003号
[18] 梁升；Paul Hudak；Jones，Mark P.，《Monad变形金刚和模块化口译员》（1995年第22届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，ACM出版社），333-343
[19] 桑德斯的Mac Lane；Moerdijk，Ieke，《几何和逻辑中的滑轮：拓朴理论的首次介绍》（1992），斯普林格·弗拉格·Zbl 0822.18001号
[20] 罗宾·米尔纳，《通信和移动系统：Pi-Calculus》（1999），剑桥大学出版社·Zbl 0942.68002号
[21] Eugenio Moggi，《编程语言的抽象视图》，技术报告ECS-LFCS-90-113，爱丁堡大学计算机科学基础实验室，1990年；Eugenio Moggi，《编程语言的抽象视图》，技术报告ECS-LFCS-90-113，爱丁堡大学计算机科学基础实验室，1990年·Zbl 0698.68008号
[22] 莫吉，尤金尼奥，《计算和单数概念，信息和计算》，93，1，55-92（1991）·Zbl 0723.68073号
[23] 杰夫·纽伯恩（Jeff Newburn），《关于单子的一切》，第1.1.0版。http://www.nomaware.com/monads; 杰夫·纽伯恩（Jeff Newburn），《关于单子的一切》，第1.1.0版。网址：http://www.nomaware.com/monads
[24] 彼得·奥赫恩。；Tennent，R.D.，参数和局部变量，ACM杂志，42，3，658-709（1995），再版于[25]·Zbl 0885.68039号
[25] （O'Hearn，Peter W.；Tennent，Robert D.，《类阿尔及利亚语言》（1996），Birkhauser）·Zbl 0882.68023号
[26] Frank J.Oles，Functor类别和商店形状。[25]第11章；Frank J.Oles，Functor类别和商店形状。[25]第11章·Zbl 0591.68013号
[27] Palamidessi，Catuscia，比较同步微积分和异步微积分的表达能力，计算机科学中的数学结构，13，5，685-719（2003）
[28] 卡图西亚Palamidessi；维杰·萨拉斯瓦特；Frank D.Valencia。；Victor，Björn，《论异步（pi）演算中线性与持久性的表现性》，（第二十届IEEE计算机科学逻辑年会论文集（2006），IEEE计算机社会出版社）
[29] Joachim Parrow，《（π）演算导论》（《过程代数手册》（2001），Elsevier），479-543·Zbl 1035.68071号
[30] Andrew M.Pitts，《名义逻辑，名称和约束的一阶理论》，信息与计算，186165-193（2003），勘误表，2004年9月·Zbl 1056.03014号
[31] 安德鲁·皮特斯（Andrew M.Pitts）。；Stark，Ian，动态创建局部名称的高阶函数的可观测属性，或：What’s新的?, （《计算机科学的数学基础：第18届国际研讨会论文集》。计算机科学数学基础：第18届国际研讨会论文集。计算机科学的数学基础：第18届国际研讨会论文集，MFCS’93，计算机科学讲义，第711卷（1993），Springer-Verlag），122-141
[32] Gordon Plotkin，A.John Power，《计算效果与操作：概述》，爱丁堡大学计算机科学基础实验室。爱丁堡研究档案：http://hdl.handle.net/1842/198; Gordon Plotkin，A.John Power，《计算效果与操作：概述》，爱丁堡大学计算机科学基础实验室。爱丁堡研究档案：http://hdl.handle.net/1842/198
[33] 戈登·普洛金（Gordon Plotkin）；Power，John，《计算概念决定单子》（软件科学和计算结构基础：第五届国际会议论文集，FoSSaCS 2002）。软件科学和计算结构基础：第五届国际会议论文集，FoSSaCS 2002，计算机科学讲义，第2303卷（2002），Springer-Verlag），342-356，勘误表，2002年8月·Zbl 1077.68676号
[34] 戈登·普洛金（Gordon Plotkin）；Power，John，代数运算和类属效应，应用范畴结构，11，1，69-94（2003）·Zbl 1023.18006号
[35] 戈登·普洛特金（Gordon Plotkin）、约翰·鲍尔（John Power），《计算效果的逻辑：进展中的工作》（Logic for computational effects:Work in progress）。在线获取地址：http://homepages.inf.ed.ac.uk/gdp/publications网站/; Gordon Plotkin，John Power，计算效果的逻辑：正在进行的工作。可在线访问：http://homepages.inf.ed.ac.uk/gdp/publications网站/ ·Zbl 1023.18006号
[36] John Power，A.，《丰富的法律理论、范畴的理论和应用》，6，7，83-93（1999）·Zbl 0943.18003号
[37] 约翰·雷诺兹（John C.Reynolds），《算法的本质》（The essentity of Algol），（1981年国际算法语言研讨会论文集（1981），北荷兰），第345-372页，转载于[25]
[38] 罗宾逊，埃德蒙德，《代数上的变化：方程理论的单数性和推广》，《计算的形式方面》，13，3-5，308-326（2002）·Zbl 1004.18005号
[39] Sangiorgi，Davide，（pi）-演算，内部迁移和代理传递演算，理论计算机科学，167，1-2，235-274（1996）·Zbl 0874.68103号
[40] 戴维·桑吉奥吉；Walker，David，《微积分：移动过程理论》（2001），剑桥大学出版社·Zbl 0981.68116号
[41] 乌尔里希·舍普；伊恩·斯塔克（Ian Stark），《具有名称和约束的依赖型理论》（Computer Science Logic:Proceedings of the 18th International Workshop）。计算机科学逻辑：第18届国际研讨会论文集。计算机科学逻辑：第18届国际研讨会论文集，CSL 2004，计算机科学讲义，第3210卷（2004），Springer-Verlag），235-249·Zbl 1095.03019号
[42] Mark R.Shinwell。；Andrew M.Pitts，《关于新鲜度的一元语义》，《理论计算机科学》，342，1，28-55（2005）·Zbl 1077.68050号
[43] Mark R.Shinwell。；安德鲁·皮特斯（Andrew M.Pitts）。；Murdoch J.Gabbay，FreshML:用装订器简化编程，（ICFP 2003：第八届ACM SIGPLAN功能编程国际会议论文集（2003），ACM出版社），263-274，勘误表，2004年5月·Zbl 1315.68058号
[44] Stark，Ian，本地名称的分类模型，LISP和符号计算，9，1，77-107（1996）
[45] 伊恩·斯塔克，《（pi）演算的完全抽象域模型》，（第十一届IEEE计算机科学逻辑研讨会论文集（1996），IEEE计算机社会出版社），36-42
[46] Stark，Ian，《（pi）演算的自由代数模型》（Foundations of Software Science and Computation Structures:Proceedings of the 8th International Conference，FOSSACS 2005）。软件科学和计算结构基础：第八届国际会议论文集，FOSSACS 2005，计算机科学讲义，第3441卷（2006），Springer-Verlag），155-169·Zbl 1119.68130号
[47] 菲利普·沃德勒（Philip Wadler）；大卫·金（King，David），《组合单数》（Combinating monads）（1992年格拉斯哥函数编程研讨会论文集（1993年），施普林格-弗拉格出版社），134-143
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。