雅各布斯·W·德·巴克。(编辑);威廉·鲍尔·德·罗弗(编辑);格列泽戈兹·罗森贝格(编辑) 并行逻辑和模型中的线性时间、分支时间和部分顺序。1988年5月30日至6月3日,荷兰Noordwijkerhout学校/研讨会。诉讼程序。 (英语) Zbl 0683.68001号 计算机科学课堂讲稿354.柏林等:斯普林格·弗拉格。八、 第713页(1989年)。MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.W.de Bakker}(编辑)等人,逻辑和并发模型中的线性时间、分支时间和偏序。1988年5月30日至6月3日,荷兰诺德威克霍特学校/工作室。诉讼程序。柏林等:Springer-Verlag(1989;Zbl 0683.68001)
E.M.克拉克。;基塞斯库博士,I.A。 线性时间和分支时间逻辑的可表达性结果。(技术贡献)。 (英语) Zbl 0683.68030号 逻辑和并发模型中的线性时间、分支时间和偏序,Proc。工作坊,Noordwijkerhout/NL 1988,勒克特。注释计算。科学。354, 428-437 (1989). 审核人:北柯蒂安努 MSC公司:68问题65 03B45号 第68季度第60季度 PDF格式BibTeX公司 XML格式