保罗·加斯丁;Mislove，迈克尔 简单并行编程语言的真正并发语义。 （英语） Zbl 0944.68123号 Flum，Jörg（编辑）等人，《计算机科学逻辑》。第13届国际研讨会，CSL’99。1999年9月20日至25日在西班牙马德里举行的欧洲原子能委员会第八届年会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1683, 515-529 (1999). 摘要：本文是一项旨在为真正的并发设计语义模型的研究的开始，该模型明确区分了并发、并行和选择。我们提出了一种简单的编程语言，它包括（弱）顺序组合、异步和同步并行组合、限制运算符，并支持递归。我们为该语言开发了一个操作语义和指称语义，并获得了一个定理，该定理将转换系统所描述的进程的行为与指称模型中进程的含义联系起来。这意味着相对于操作模型而言，指称模型是足够的。我们的指称模型基于Castin和Teodesiu的资源跟踪，由于单个资源跟踪表示并发进程的所有可能执行，因此我们能够通过单个跟踪对并发语言的每个术语进行建模。因此，我们为我们的语言获得了确定性语义，并且我们能够在不引入不确定性的情况下建模并行性。关于整个系列，请参见[Zbl 0929.00039号]. 引用于2文件 MSC公司： 68问题55 计算理论中的语义学 68甲15 编程语言理论 关键词：真正并发的语义模型 PDF格式BibTeX公司 XML格式引用 \textit{P.Gastin}和\textit{M.Mislove}，莱克特。注释计算。科学。1683515-529（1999年；兹bl 0944.68123）