×
塞拉·埃尔拉德;尼西姆·弗朗西兹

用于通信进程的最弱前提语义。 （英语） Zbl 0532.68035号

西奥。计算。科学。 29, 231-250 (1984).
概要：基于集中式的一级方法，提出了通信过程的最弱前提语义。给出了CSP结构的语义方程，并证明了它们的连续性。给出了两个最弱的前提条件定义的等价性，一个具有特定的顺序偏好，另一个是无偏好。讨论了各种操作概念的表示，包括延迟。给出了应用这些规则的几个示例。

MSC公司：

68N25号 操作系统理论

关键词：

分布式编程;不确定性;终止;死锁
PDF格式BibTeX公司 XML格式引用
\textit{T.Elrad}和\textit{N.Francez}，Theor。计算。科学。29、231--250（1984年；Zbl 0532.68035）
全文： DOI程序

参考文献：

[1] （《程序设计语言ADA参考手册》，《程序设计语ADA参考指南》，计算机科学讲稿，106（1981），施普林格出版社：柏林施普林格）·Zbl 0455.68011号
[2] Apt，K.R。；Francez，N。；de Roever，W.P.，通信顺序过程的证明系统，ACM-TOPLAS，2，1（1980）·Zbl 0468.68023号
[3] Brinch Hansen，P.，《分布式进程——并发编程概念》，美国计算机学会，21，11（1978）·Zbl 0393.68028号
[4] 库索特，P。；Cousot，R.，《通信顺序过程的语义分析》，Noordwijkerhout。Noordwijkerhout，程序。第七学院。论自动机、语言和程序设计（1980）·Zbl 0433.68020号
[5] Chen，Z.C。；Hoare，C.A.R.，通信顺序过程的部分正确性，巴黎，巴黎，Proc。第二国际。交响乐团。分布式系统（1981）
[6] Chandy，K.M。；Misra，J.，《过程网络证明》，IEEE-TSE，SE-7，4（1981）·Zbl 0456.68030号
[7] Dijkstra，E.W.，《程序设计学科》（1976），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯，新泽西州·Zbl 0286.00013号
[8] de Bakker，J.W.，《程序正确性的数学理论》（1980），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯，新泽西州·Zbl 0452.68011号
[9] Elrad，T.，博士论文（1982年），理工学院计算机科学系：理工学院计算科学系，海法理工学院（希伯来语）。
[10] Francez，N.，通信进程的扩展命名约定，Atbuquerque。Atbuquerque，程序。第九届ACM-POPL交响乐团。(1982) ·兹伯利0516.68023
[11] Feldman，J.A.，《分布式计算的高级编程》，通信ACM，22，6（1979）·兹比尔0407.68017
[12] Francez，N。；霍尔，C.A.R。；莱曼·D·J。；de Roever，W.P.，《不确定性、并发性和通信的语义》，J.CSS，19，3（1979）·Zbl 0434.68066号
[13] Francez，N。；莱曼·D·J。；Pnueli，A.，分布式语言的线性历史语义，Proc。FOCS会议（1980）·Zbl 0543.68019号
[14] 弗洛恩，L。；铃木，N.，《不确定性和并行程序的正确性》，圣安德鲁斯。圣安德鲁斯，IFIP编程概念形式化描述工作会议（1977）·Zbl 0373.68029号
[15] Hoare，C.A.R.，《通信顺序过程》，通信ACM，21，8（1978）·Zbl 0383.68028号
[16] Kuiper，R。；de Roever，W.P.，《时序逻辑框架中CSP的公平性假设》，报告。，加米什。Garmisch，TC2编程概念形式化描述工作会议（1982），乌得勒支大学计算机科学系，发表于·Zbl 0512.68022号
[17] 莱文，G。；Gries，D.，《通信顺序过程的证明技术》，《信息学报》，15（1981）·Zbl 0463.68034号
[18] Van Lamsweerde，A。；Sintzoff，M.，强正确并发程序的形式推导，信息学报，12，1（1979）·Zbl 0389.68012号
[19] Milne，G。；Milner，R.，《并发过程及其语法》，J.ACM，26，2（1979）·Zbl 0395.68030号
[20] Milner，R.，《通信过程的微积分》（计算机科学讲义，92（1980），施普林格：施普林格柏林）·Zbl 0452.68027号
[21] Owicki，S.S。；Gries，D.，并行程序公理证明技术I，Acta Inform。，6 (1976) ·Zbl 0312.68011号
[22] Plotkin，G.D.，CSP的操作语义（1981），爱丁堡大学计算机科学系，理工大学代表·Zbl 0512.68012号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。