1 BEN-ARI，M.、MANNA，Z.和PNEULI，A.分支时间的时序逻辑。 《第八届美国计算机学会编程语言原则研讨会论文集》（弗吉尼亚州威廉斯堡，1月26日至28日），美国计算机学会，纽约，1981年，第164-176页。 谷歌学者 
2 CLARKE，E.M.和EMERSON，E.A.从分支时间时序逻辑合成同步骨架。 《逻辑与程序研讨会论文集》（纽约州约克敦高地），《计算机科学讲义》，纽约州斯普林格-弗拉格出版社，1981年，第52-71页。 谷歌学者 三 GABBAY，D.、PNEULI，A.、SHELAH，S.和STAVI，J.关于公平的时间分析。 《第七届CM编程语言原理研讨会论文集》（内华达州拉斯维加斯，1月28日至30日），美国计算机学会，纽约，1980年，第163-173页。 谷歌学者 4 GRIFFITHS，P.SYNVER：同步过程的自动合成、验证和合成系统。 1975年6月，马萨诸塞州剑桥哈佛大学艾肯计算实验室博士论文。 谷歌学者 5 HABERMANN，A.N.路径表达式。 《计算机科学报告》，卡内基梅隆大学，宾夕法尼亚州匹兹堡，1975年。 谷歌学者 6 HOARE，C.A.R.传达顺序过程。 Commun公司。 ACM 21,8（1978年8月），666-677。 谷歌学者 7 LAVENTHAL，M.数据抽象同步代码的合成。 1978年6月，马萨诸塞州波士顿，麻省理工学院计算机科学实验室博士论文。 谷歌学者 8 MANNA，Z.和PNEULI，A.《并发程序的验证：时间框架》，《计算机科学中的正确性问题》，R.S.Boyer和J.S.Moore（编辑）。 计算机科学国际系列讲座。 学术出版社，纽约，1981年，第215-273页。 谷歌学者 9 程序的时态逻辑。 1977年11月，第18届计算机科学基础研讨会论文集，第46-57页。 谷歌学者 10 PRIOR，A.过去、现在和未来。 牛津大学出版社，纽约，1967年。 谷歌学者 11 RAMAMRITHAM，K.和KELLER，R.M.同步器的规范和合成。 《并行处理国际研讨会论文集》（1980年8月），第311-321页。 谷歌学者 12 RESCHER，N.和URQUART，A.时间逻辑，Springer-Verlag，纽约，1971年。 谷歌学者 13 SMULLYAN，R.M.一阶逻辑。 斯普林格·弗拉格，纽约，1968年。 谷歌学者 14 WOLPSR，P.使用扩展时序逻辑的通信过程的规范和综合。 第九届CM编程语言原理研讨会论文集（新墨西哥州阿尔伯克基，1月25日至27日），ACM，纽约，1982年，第20-33页。 谷歌学者 15 时间逻辑更具表现力。 1981年10月于田纳西州纳什维尔举行的第22届计算机科学基础研讨会论文集。 谷歌学者
索引术语
基于时序逻辑规范的通信过程综合
建议
使用扩展时序逻辑的通信过程的规范和综合：（初步版本） POPL’82：第九届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录 我们将扩展命题时间逻辑（EPTL）应用于通信过程的同步部分的规范和合成。 为了指定一个进程，我们给出了一个描述其通信序列的EPTL公式。 这个。。。 构造性线性时间-时间逻辑：证明系统和Kripke语义 本文研究了一种带有“下一个”时态算子的构造线性时间时序逻辑（LTL）。 这个逻辑最初是由戴维斯提出的，他证明了逻辑的证明系统对应于绑定时间的类型系统。。。
