×
本特·汤姆森

普通CHOCS。用于高阶过程的第二代微积分。 （英语） Zbl 0790.68069号

学报信息。 30，第1期，1-59页（1993年）.
我们给出了一个通信系统的演算，它允许人们表达发送和接收过程。我们称这种微积分为普通CHOCS。微积分是我们早期关于高阶通信系统微积分（CHOCS）工作的改进。
新演算的关键是将限制作为端口名上的静态绑定操作符进行处理。新演算使用标记转换系统给出了操作语义，该系统结合了Abramsky描述的应用转换系统和CHOCS使用的转换系统的思想。新的微积分具有类似于CHOCS的代数性质，只需要为限制算子的静态性质提供明显的额外定律。
作为一类对象的进程可以描述具有变化互连结构的网络，而普通CHOCS演算和Milner、Parrow和Walker所描述的（pi）演算之间有着密切的联系：这两个演算可以相互模拟。
最近，面向对象编程已经发展成为计算实践和计算机科学中的一个主要学科。从理论上看，面向对象编程对任何元语言都是一个挑战，因为大多数面向对象语言都没有形式语义。我们展示了如何使用Plain CHOCS为名为\（O\）的原型面向对象语言提供语义。
审核人：B.汤姆森（慕尼黑）

引用于51文件

MSC公司：

68问题55 计算理论中的语义学
2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）
68甲15 编程语言理论
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

面向对象语言的语义;通信系统演算;操作语义学;标记过渡系统;面向对象程序设计

软件：

模拟67;游泳池;灵活
PDF格式BibTeX公司 XML格式引用
\textit{B.Thomsen}，《学报信息》30，第1期，1-59页（1993；Zbl 0790.68069）
全文： 内政部

参考文献：

[1] [Abramsky，S.：懒惰的lambda演算。参见：Turner，D.（编辑）《函数编程研究主题》，第4章，第65-116页。阅读：Addison Wesley 1990
[2] [Abr91]Abramsky，S.：相互模拟的区域方程。Inf.Compute.92（2），161-218（1991）·Zbl 0718.68057号 ·doi:10.1006/inco.1991.9999
[3] [Ame87]美国，P.：POOL-T：一种并行面向对象语言。面向对象并发编程会议录，第199-220页。马萨诸塞州剑桥：麻省理工学院出版社1987
[4] [AstReg87]Astesiano，E.，Reggio，G.：SMoLS驱动的并发计算。TAP-SOFT 87会议录（Lect.Notes Compute Sci.，第249卷，第169-201页）柏林-海德堡-纽约：施普林格1987·Zbl 0614.68024号
[5] [Atk89]Atkinson，C.：一种面向对象的软件重用和分发语言。1989年伦敦大学帝国学院计算机系博士论文
[6] [Bou89]Boudol，G.：面向并行和通信系统的lambda-calculus。TAPSOFT 89会议录（Lect.Notes Compute.Sci.，第351卷，第149-161页）柏林-海德堡-纽约：施普林格出版社，1989年。1988年秋，INRIA Sophia Antipolis第885号研究报告的初步版本
[7] [Chr88]Christensen，P.：CSP过程的领域（未完成草案）。丹麦技术大学1988
[8] [Coz90]Cozens，J.：适应性计算机系统（未完成草案）。萨里大学1990
[9] [DahMyhNyg68]Dahl，O.J.，Myhrhaug，B.，Nygaard，K.：SIMULA 67通用基础语言。挪威计算中心1968
[10] [EngNie86]Engberg，U.，Nielsen，M.：带有标签传递的通信系统的微积分。技术报告DAIMI PB-208。奥胡斯大学计算机科学系，1986年
[11] [GiaMisPra90]Giacalone，A.，Mishra，P.，Prasad，S.：FACILE的操作和代数语义：并发和函数编程的对称集成。ICALP 90会议记录。（Lect.Notes Comput.Sci.，第443卷，第765-780页）柏林-海德堡-纽约：施普林格1990·Zbl 0765.68109号
[12] [GolRob83]Goldberg，A.，Robson，D.：Smalltalk 80：语言及其实现。阅读：Addison-Wesley 1983·Zbl 0518.68001号
[13] [HenNic87]Hennessy，M.，Nicola de，R.：没有CCS？”s（Lect.Notes Compute Sci.，第249卷，第138-152页）。柏林-海德堡纽约：施普林格1987
[14] [KenSle83]Kennaway，J.R.，Sleep，M.R.：并行语言DyNe的语法和非正式语义。1983年并发系统1分析研讨会论文集。（Lect.Notes Compute.Sci.，第207卷，第222-230页）柏林-海德堡纽约：施普林格1985
[15] [KenSle88]Kennaway，J.R.，Sleep，M.R.：一级过程的指称语义（草案）。东英吉利大学信息系统学院，诺里奇1988
[16] [Lar86]Larsen，K.G.：过程之间的上下文相关互模拟。1986年爱丁堡大学博士论文
[17] [Mil80]Milner，R.：通信系统演算（Lect.Notes Compute.Sci.，第92卷）柏林-海德堡纽约：施普林格1980·Zbl 0452.68027号
[18] [Mil83]Milner，R.：同步和异步的演算。西奥。计算。科学.25，267-310（1983）·兹比尔0512.68026 ·doi:10.1016/0304-3975（83）90114-7
[19] [Mil89]Milner，R.：沟通与并发。新泽西州恩格尔伍德克利夫斯：普伦蒂斯·霍尔1989·Zbl 0683.68008号
[20] [MilParWal89]Milner，R.，Parrow，J.，Walker，D.：移动过程演算，第一部分，报告ECS-LFCS-89-85，爱丁堡大学，1989
[21] [MilParWal89b]Milner，R.，Parrow，J.，Walker，D.：移动进程演算，第二部分。报告ECS-LFCS-89-86，爱丁堡大学1989
[22] Milner，R.：多面手-《微积分：教程报告ECS-LFCS-91-180》，爱丁堡大学，1991年
[23] [MilSan92]Milner，R.，Sangiorgi，D.：倒刺互模拟。ICALP 92会议记录。（Lect.Notes Compute.Sci.，第623卷，第685-695页）柏林-海德堡纽约：施普林格出版社，1992年
[24] [Nielson，F.：打字机-具有一流过程的微积分。第89部分的程序。（Lect.Notes Compute.Sci.，第336卷，第357-376页）柏林-海德堡，纽约：施普林格出版社，1989年。（初版：技术报告ID-TR:1988-43 ISSN 0902-2821，丹麦技术大学计算机科学系，1988年8月）
[25] [Par81]Park，D.：无限序列上的并发性和自动机。摘自：Deussen，P.（编辑）《理论计算机科学》。（Lect.Notes Compute.Sci.，第104卷，196-223页）柏林-海德堡纽约：施普林格出版社，1981年
[26] [Plo81]Plotkin，G.：操作语义的结构方法。1981年奥胡斯大学计算机科学系DAIMI FN-19技术报告
[27] [San92]Sangiorgi，D.：即将发表的爱丁堡大学计算机科学系博士论文，1992年
[28] [Tar55]Tarski，A.：格理论不动点定理及其应用。派克靴。数学杂志。5, 285-309 (1955) ·Zbl 0064.26004号
[29] [Tho89]Thomsen，B.：高阶通信系统的微积分。POPL 89会议记录，第143-154页。1989年计算机协会
[30] [Tho89a]Thomsen，B.：普通CHOCS。1989年伦敦大学帝国学院计算系技术报告89/4
[31] [Thom90]Thomsen，B.：高阶通信系统的微积分。1990年伦敦大学帝国学院博士论文
[32] [Wal88]Walker，D.：相互模拟和发散。LICS 88会议记录，第186-192页。牛津：计算机学会出版社1988
[33] [Wal91]Walker，D.：-面向对象编程语言的微积分语义。计算机软件理论方面会议论文集（Lect.Notes Comput.Sci.，第526卷，第532-547页）柏林-海德堡-纽约：施普林格1991
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。