巴巴拉·佩奇 通过显式并发扩展时序逻辑。 （英语） Zbl 0777.03009号 计算机科学数学基础。第16国际交响乐团。，卡齐米日·多尔尼/波尔。1991年，勒克特。注释计算。科学。520, 377-386 (1991). 摘要：[有关整个系列，请参阅Zbl 0753.00030号.]我用结构运算符定义了一个逻辑，用于顺序和并行组合。它可以刻画发生网的状态空间。该逻辑具有有限模型属性和完善的公理化。这是第一种将否定与结构运算符结合在一起的形式主义。 MSC公司： 03B70号 计算机科学中的逻辑 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：网络逻辑;用于顺序和并行组合的结构运算符逻辑;发生网的状态空间;有限模型特性 引文：Zbl 0753.00030号 PDF格式BibTeX公司 XML格式引用 \textit{B.Paech}，莱克特。注释计算。科学。520、377--386（1991年；Zbl 0777.03009）