C.A.R.霍尔。 编程理论:自上而下、自下而上、中间会合。 (英语) Zbl 0976.68110号 Wing,Jeannette M.(编辑)等人,FM’99。形式化方法。计算系统开发中的形式化方法世界大会。法国图卢兹,1999年9月20日至24日。诉讼程序。2卷。柏林:施普林格出版社(ISBN 3-540-66587-0/vol1;3-540-665088-9/vol2)。莱克特。票据计算。科学。1708; 1709, 1-27 (1999). C.A.R.霍尔是理论计算机科学中最权威的声音之一。他是开创性著作CSP(通信顺序进程)的作者,CSP是并发计算理论中的一个重要里程碑。C.A.R.Hoare的任何一篇关于编程一般理论的文章都只能是向并行和并发计算领域的年轻研究人员揭示的福音词。事实上,本文对编程理论中的当前趋势和方法进行了富有启发性的分析。该演示是按照自上而下、自下而上的二元结构进行的,以π演算、CSP和指称语义的元素为例。文章最后提出了第三种方法的建议,在这里称为开发编程理论的中间方法。新理论应该基于一个初始的代数定律集合,作为编程语言的基本语义,并向各个方向发展这个集合。作者并没有提出这样的理论,他只是公开了他对现有编程理论的看法,并提倡统一的方法。有关整个系列,请参见[兹比尔0929.00076].审核人:Corneliu Bársan(华盛顿州贝尔武东南部) 引用于2文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(过程代数、互模拟、转换网等) 68-02 与计算机科学有关的研究展览会(专著、调查文章) 2010年第68季度 计算模式(非确定性、并行、交互式、概率性等) 68号01 软件理论的一般主题 关键词:CSP公司;CCS系统;Pi演算;指称语义学 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare},莱克特。票据计算。科学。1708年1月27日(1999年;Zbl 0976.68110)