霍华德·巴林杰 在并发系统的组成规范中使用时间逻辑。 （英语） Zbl 0662.03017号 时间逻辑及其应用，53-90（1987）。 [关于整个系列，请参见Zbl 0656.00027号.]近年来，时序逻辑被认为是描述和讨论并行计算过程的有用工具。为了更好地实现这一目标，必须适当地扩大传统的、受哲学驱动的时间逻辑系统。作者考虑的要点是更好地适用于模块化程序结构，以及处理程序并行组件对变量的常见使用的能力。为此，他通过新的表达方式（如不动点操作符）勾画了扩展常用时序逻辑系统的不同方法，作者及其合作者的其他论文中对此进行了更详细的讨论。审核人：S.戈特瓦尔德 引用于4文件 MSC公司： 03B70号 计算机科学中的逻辑 68号01 软件理论的一般主题 68N25号 操作系统理论 03B45 模态逻辑（包括规范逻辑） 关键词：并行处理；成分特性；时序逻辑；并行计算；模块化程序结构；不动点运算符 引文：Zbl 0656.00027号 PDF格式BibTeX公司 XML格式