美国P.H.M。;J.J.M.M.鲁顿。 并行面向对象语言：设计和语义基础。 （英语） Zbl 0760.68044号 CWI拖拉机. 81. 阿姆斯特丹：Wiskunde en Informatica中心。316页（1991年）。 本书是作者博士论文的原版，该论文是关于并行面向对象编程语言家族POOL的论文集。这些论文已在其他地方发表。POOL家族的语言是面向符号应用的。第一篇论文“并行面向对象语言设计中的问题”介绍了其中一种语言。它介绍了面向对象编程的基本原理，并讨论了将并行性集成到这种形式中的方法。所有其他论文都涉及POOL系列语言的形式语义。讨论并比较了操作语义和指称语义。在“并行面向对象语言的语义正确性”一文中定义并讨论了POOL语言的操作语义。“并行面向对象语言的指称语义”一文描述了指称语义。在“为流程创建设计等效语义模型”一文中，研究了操作语义和指称语义之间的关系。对于特殊语言，证明了操作语义和指称语义是等价的。证明技术基于语义操作符替换指称语义中的延续符。“比较并发语义的收缩”中描述了一种改进的证明技术，它将语义函数定义为一些高阶算子的不动点。在“并行面向对象语言的语义正确性”中描述了该技术在POOL中的应用。最后一篇论文“公平的语义方法”考虑了公平过程和对过程的公平操作。审核人：P.Forbrig（罗斯托克） 引用于2文件 MSC公司： 68问题55 计算理论中的语义学 68-02 与计算机科学有关的研究展览会（专著、调查文章） 关键词：区域方程;操作语义学;面向对象程序设计;指称语义学;公平 软件：米兰达;CLOS公司;LISP公司 PDF格式BibTeX公司 XML格式引用 \textit{P.H.M.America}和\textit{J.J.M.M.Rutten}，并行面向对象语言：设计和语义基础。阿姆斯特丹：Centrum voor Wiskunde en Informatica（1991；Zbl 0760.68044）