×
北弗朗西兹。;D.莱曼。;A.普努利。

分布式编程语言的线性历史语义。 （英语） 兹伯利0543.68019

西奥。计算。科学。 32, 25-46 (1984).
摘要：给出了基于通信的分布式编程语言（CSP）的指称语义。该语义使用通信的线性序列来记录计算和特殊状态（称为“期望集”），以表征潜在的死锁。对于任何形式良好的程序段，语义是可达到状态和达到这些状态所需的通信序列之间的关系。在绑定两个或多个进程时，我们匹配并合并每个进程假定的通信序列，以获得组合进程的序列和状态。这里采用的方法通过相对简单的语义域和排序进行区分。

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

MSC公司：

68N25号 操作系统理论
68号01 软件理论的一般主题

关键词：

并发程序;通信顺序过程;CSP公司;指称语义学;分布式编程;通信;期望集;死锁
PDF格式BibTeX公司 XML格式引用
\textit{N.Francez}等人，Theor。计算。科学。32、25-46（1984年；Zbl 0543.68019）
全文： 内政部

参考文献：

[1] 布罗克·J·D。；Ackerman，W.B.，《场景：非确定性计算的模型》，（Kahn，G.，Proc.Internat.Symp.on Semantics of Concurrent Computings，70（1979），Springer:Springer Berlin），252-259，法国埃维昂，《计算讲义》。科学·Zbl 0398.00017号
[2] de Bakker，J.W。；Bergstra，J.A。；克洛普，J.W。；Meyer，J.-J.Ch.，《带合并递归的线性时间和分支时间语义》（Tech.Rept.IW 211/82（1982），数学中心：阿姆斯特丹数学中心）·兹伯利0527.68011
[3] 背面，R.J.R。；Mannila，H.，《处理非决定论和交流的Kahn语义精化》，Proc。ACM SIGACT-SIGOPS交响乐团。《分布式计算原理》（1982），渥太华
[4] 布鲁克斯，S.D。；克拉克，E。；Kozen，D.，通信过程的语义和证明系统，第二届程序逻辑研讨会，164（1983），Springer:Springer-Berlin，CMU，计算机讲稿。科学·Zbl 0579.68011号
[5] 布鲁克斯，S.D。；Diaz，J.，《关于CCS和CSP的关系》，Proc。第十届ICALP研讨会。程序。第十届ICALP研讨会，CMU TR CS-83-11154（1983），施普林格：柏林施普林格·Zbl 0516.68024号
[6] de Bakker，J.W。；Zucker，J.I.，并发的过程和指称语义，（Tech.Rept.IW 209/82（1981），数学中心：阿姆斯特丹数学中心）。（技术代表IW 209/82（1981），数学中心：阿姆斯特丹数学中心），第四期计算机科学基础高级课程。（《技术报告》IW 209/82（1981），数学中心：阿姆斯特丹数学中心）。（技术报告IW 209/82（1981），数学中心：阿姆斯特丹数学中心），计算机科学、信息和控制基础第四高级课程，54（1982）·Zbl 0508.68011号
[7] Francez，N。；霍尔，C.A.R。；莱曼·D·J。；De Roever，W.P.，《非决定论、并发和通信的语义》，J.Compute。系统科学。，19, 3 (1979) ·Zbl 0434.68066号
[8] Gorguen，J.A.，抽象数据类型的抽象错误，（IFIP编程概念形式描述工作会议（1977年），北荷兰：北荷兰阿姆斯特丹），圣安德鲁斯·Zbl 0373.68024号
[9] Gallier，J.，《具有递归过程的非确定性流程图程序》，Theoret。计算。科学。，19, 3 (1979)
[10] Hoare，C.A.R.，《通信顺序过程》，通信ACM，21，8（1978）·Zbl 0383.68028号
[11] Hoare，C.A.R.，通信过程的完全正确性演算，计算机程序设计科学，149-72（1981）·Zbl 0485.68025号
[12] 霍尔，C.A.R。；布鲁克斯，S.D。；Roscoe，A.W.，《通信顺序过程理论》（TR PRG-16（1981），牛津大学程序设计研究小组）·Zbl 0628.68025号
[13] Kahn，G.，并发编程简单语言的语义，（IFIP-74（1974），北荷兰：北荷兰阿姆斯特丹），471-475·Zbl 0299.68007号
[14] Kossinski，P.R.，非确定数据流程序的直接指称语义，第五届ACM-POPL，214-221（1978）
[15] Milner，R.，《通信系统微积分》，讲义计算。科学。，92（1980），《施普林格：柏林施普林格》·兹比尔0452.68027
[16] Park，D.，《不确定性网络：一些异常的注释》，计算机科学基础第四高级课程（1982年），阿姆斯特丹
[17] 圆形，W.C。；布鲁克斯，S.D.，《可能的未来、接受、拒绝和沟通过程》，Proc。第22届FOCS研讨会（1981年）
[18] Schwartz，J.，并行的指称语义，（Kahn，G.，Proc.Internat.Symp.on semantics of Concurrent Computings，70（1979），Springer:Springer Berlin），191-202，法国埃维昂，《计算讲义》。科学·Zbl 0402.68005号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。