雅各布斯·W·德·巴克。（编辑）;威廉·鲍尔·德·罗弗（编辑）;格列泽戈兹·罗森贝格（编辑） 并行逻辑和模型中的线性时间、分支时间和部分顺序。1988年5月30日至6月3日，荷兰Noordwijkerhout学校/研讨会。诉讼程序。 （英语） 兹比尔0683.68001 计算机科学课堂讲稿354.柏林等：斯普林格·弗拉格。八、 第713页（1989年）。 本卷的文章将单独进行审查。 引用于22评论引用于9文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 00时25分 杂项特定利益的会议记录 关键词：线性时间、分支时间和偏序;并发逻辑和模型;车间;诉讼;Noordwijkerhout（荷兰）;时序逻辑;并发;语义学;过程 PDF格式BibTeX公司 XML格式引用 \textit{J.W.de Bakker}（ed.）等人，逻辑和并发模型中的线性时间、分支时间和偏序。1988年5月30日至6月3日，荷兰诺德威克霍特学校/工作室。诉讼程序。柏林等：施普林格出版社（1989年；Zbl 0683.68001）