A.W.罗斯科。；C.A.R.霍尔。 Occam编程的规律。 （英语） Zbl 0719.68039号 西奥。计算。科学。 60，No.2，177-229（1988）. 作者描述了OCCAM语义的等式公理化。它们表明，无WHILE程序具有范式，因此当且仅当两个程序的范式在语法上等价时，这两个程序在语义上等价。这表明，它们的等式公理化和归纳公理是证明OCCAM程序等价性的一个完善的证明系统。这篇论文写得很清楚。审核人：I.游击队（巴黎） 引用于1审查引用于18文件 MSC公司： 第68季度55 计算理论中的语义学 68甲15 编程语言理论 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 关键词：奥卡姆；并行进程的代数语义 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Roscoe}和\textit{C.A.R.Hoare}，Theor。计算。科学。60，第2号，177--229（1988；Zbl 0719.68039） 全文： 内政部 参考文献： [1] Apt，K.R。；Francez，N。；De Roever，W.P.，通信顺序过程的证明系统，ACM Trans。程序设计语言系统，2,3359-385（1980）·Zbl 0468.68023号 [2] Brookes，S.D.，《通信顺序过程的模型》（牛津大学博士论文（1983）），（可作为卡内基梅隆大学技术报告获得）·Zbl 0565.68023号 [3] Dijkstra，E.W.，《编程学科》（1976年），Prentice Hall出版社：Prentice Hall Englewood Cliffs，NJ·Zbl 0286.00013号 [4] Fisher，A.，《形式数理论与可计算性》（牛津逻辑指南，7（1982），牛津大学出版社：牛津大学出版社伦敦）·Zbl 0504.03002号 [5] Guessarian，I.，代数语义学（计算机科学讲义，99（1981），Springer:Springer Berlin）·Zbl 0602.68017号 [6] Hoare，C.A.R.，《通信顺序过程》（1985），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德克利夫斯，新泽西州·Zbl 0637.68007号 [7] 《Occam编程手册》（1984），新泽西州普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德克利夫斯·Zbl 0563.68002号 [8] 霍尔，C.A.R。；何继峰；海耶斯，I.J。；Morgan，C.C。；桑德斯，J.W。；瑟伦森，I.H。；斯皮维，J.M。；苏福林，B.A。；Roscoe，A.W.，《编程法》，美国通信协会，30，8，672-686（1987）·兹比尔062968006 [9] Roscoe，A.W.，《occam的指称语义》（Proc.July 1984 Seminar on Concurrency，197（1985），Springer:Springer Berlin），306-329，第（b）版，作为PRG专著出版，牛津大学计算实验室·兹伯利0565.68024 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。