Larsen，Kim G。；刘新新 通过上下文的组合语义和操作语义。 （英语） Zbl 0765.68107号 自动化、语言和编程、Proc。第17国际学院，沃里克/GB 1990，法律。票据计算。科学。443, 526-539 (1990). 摘要：[有关整个系列，请参阅Zbl 0758.00017号.]我们形式化了上下文的操作理论，作为一个例子，我们展示了CCS如何在这个理论中表示。此外，给出了各种组合上下文的方法，这些方法保留了互模拟对上下文的明显概括。提出了一种与微积分等价的Hennessy-Milner逻辑的递归形式。然后展示了上下文如何将复合系统的属性转换为子组件的（联合）属性（事实上，我们提供了一种根据谓词变换器的上下文替代语义）。最后，我们展示了如何将这些联合属性分解为单个属性的元组。 引用于1审查引用于15文件 MSC公司： 第68季度55 计算理论中的语义学 关键词：模态特性变压器；特性分解；轩尼诗-米尔纳逻辑；μ微积分 引文：Zbl 0758.00017号 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}和\textit{X.Liu}，Lect。票据计算。科学。443526-539（1990年；Zbl 0765.68107）