威廉·高尔森（William G.Golson）。；威廉·罗恩斯（William C.Rounds）。 两种并发理论之间的联系：度量空间和同步树。 （英语） 兹伯利0551.68035 Inf.控制 57, 102-124 (1983). 在德巴克尔和扎克的著作中，建立了并发和通信的语义理论之间的联系，他们使用度量空间而不是完全偏序开发了并发的指称语义，以及米尔纳，世卫组织基于过程之间的观测等价性开发了通信的代数语义。他的刚性同步树（RST）被赋予一个由Milner弱等价关系诱导的简单伪度量距离，商空间被证明是完备的。在这个空间和de Bakker和Zucker的一个区域方程的解之间建立了等距，并在概念上更简单的框架中给出了它们的解，建立了RST上的弱等价关系与模态逻辑中由Hennessy和Milner语句导出的基本等价关系之间的等价关系。 引用于9文件 MSC公司： 68问题65 抽象数据类型；代数规范 03B45号 模态逻辑（包括规范逻辑） 68N25号 操作系统理论 关键词：并发语义理论；指称语义学；度量空间；通信的代数语义；观察等价；刚性同步树；弱等价关系；模态逻辑 PDF格式BibTeX公司 XML格式引用 \textit{W.G.Golson}和\textit{W.C.Rounds}，Inf.Control 57，102-124（1983；Zbl 0551.68035） 全文： 内政部