Larsen，Kim G。；刘新新 通过上下文的操作语义实现合成。 （英语） Zbl 0738.68056号 J.日志。计算。 第1期，第6期，761-795页（1991年）. 小结：我们打算为自顶向下的反应系统设计方法提供理论基础。正在考虑的问题是以下意义上的组合性：为了使整个系统满足给定的规范，组合系统的组件必须满足哪些属性。我们希望所需的房地产尽可能薄弱，以免限制进一步开发的选择。此外，我们希望这些属性可以分解，因为它们可以表示为各个组件所需的单独属性。为了对这个问题进行全面的研究，本文提出了一种新的动作传感器形式的上下文操作语义。作为规范语言，使用了递归扩展的Hennessy-Milner逻辑版本。 引用于26文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 第68季度55 计算理论中的语义学 03B45 模态逻辑（包括规范逻辑） 关键词：并发系统；验证；成分性；最弱特性变压器；轩尼诗-米尔纳逻辑 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}和\textit{X.Liu}，J.Log。计算。1，第6号，761--795（1991；Zbl 0738.68056） 全文： 内政部 链接