赖西格，W。 分布式系统中因果关系和选择的时序逻辑。（技术贡献）。 （英文） Zbl 0683.68072号 逻辑和并发模型中的线性时间、分支时间和偏序，Proc。工作坊，Noordwijkerhout/NL 1988，勒克特。注释计算。科学。354, 603-627 (1989). [关于整个系列，请参见Zbl 0683.68001号.]本文的第一部分集中于必要的直觉概念和概念。回顾了传统时态逻辑公式所代表的性质。重新考虑了操作语义，证明了偏序语义的充分性。这种语义源于模态逻辑，并讨论了时态逻辑的修订版本。论文的第二部分正式开发了基本网络系统（基本的基于Petri网的系统模型），以及相应的基于因果关系的操作语义。基本网络系统的状态元素是条件，过渡元素是事件。逻辑语言是沿着已知的（CTL^*）逻辑发展起来的，包含三个时态运算符和两个路径量词。第三部分讨论了基于偏序语义（以及相应的逻辑）的并发系统的形式属性。并发概念和结果被重新表述为逻辑语言。讨论了一种强并发形式。审核人：N.Curteanu公司 引用于1文件 MSC公司： 68问题55 计算理论中的语义学 第68页第25页 操作系统理论 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 03B45号 模态逻辑（包括规范逻辑） 关键词：并发系统属性;时序逻辑;Petri网 引文：兹比尔0683.68001 PDF格式BibTeX公司 XML格式