D.J.沃克。 使用CCS自动分析互斥算法。 （英语） Zbl 0696.68039号 形式方面计算。 1，第3期，273-292（1989）. 引用于2评论引用于15文件 MSC公司： 第68页第25页 操作系统理论 68瓦99 计算机科学中的算法 关键词：并发工作台；互斥算法；通信系统微积分 软件：CESAR公司 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Walker}，正式Asp。计算。1，No.3，273--292（1989；Zbl 0696.68039） 全文： 内政部 参考文献： [1] Baeten，J.：Procesalgebra，Kluwer programmatuurkunde，1986年。 [2] Baeten，J.、Bergstra，J.和Klop，J.W.：生成无上下文语言的过程的互模拟等价性的决定，收录于Springer LNCS 2991987·Zbl 0635.68014号 [3] Clarke，E.和Emerson，E.A.：使用分支时间-时间逻辑设计和合成同步骨架，收录于Springer LNCS 1311981年·Zbl 0546.68014号 [4] Clarke，E.和Grümberg，O.：有限状态并发系统的自动验证研究。Ann.Rev.计算。科学。，1987年2月。 [5] Cleaveland，R.、Parrow，J.和Steffen，B.：《并发工作台》，发表于[Gre89]。 [6] Cleaveland，R.、Parrow，J.和Steffen，B.：《有限状态系统基于语义的验证工具》，发表在Proc中。第九国际交响曲。协议规范、测试和验证，北荷兰，1989年。 [7] Dijkstra，E.W.：并发编程控制问题的解决方案。ACM委员会，1965年8月9日。 [8] Emerson，E.A.和Lei，C-L.：模型检查的模式：分支时间反击。科学。计算。掠夺。，6 1987. ·Zbl 0615.68019号 [9] Emerson，E.A.和Srinivasan，J.：分支时间时序逻辑，收录于Springer LNCS 3541989年·Zbl 0683.68013号 [10] Francez，N.：《公平》，施普林格出版社，1986年。 [11] 有限状态系统自动验证方法研讨会论文集，格勒诺布尔，1989年，发表在斯普林格LNCS系列中。 [12] Hoare，C.A.R.：《通信顺序过程》，Prentice-Hall 1985年·Zbl 0637.68007号 [13] Hyman，H.：对并发程序设计控制中一个问题的评论。ACM委员会，1966年9月1日。 [14] Jonsson，B.和Parrow，J.：确定一类非有限状态程序的互模拟等价性，收录于Springer LNCS 3491989年·Zbl 0799.68133号 [15] Knuth，D.E.：关于并发编程控制问题的补充评论。ACM委员会，1966年9月5日。 [16] Kozen，D.：介词{\（\mu\）}-演算的结果。理论计算机科学，27 1983年·Zbl 0553.03007号 [17] Lamport，L.：互斥问题第二部分——陈述和解决方案。JACM，1986年2月33日·Zbl 0627.68018号 [18] Larsen，K.：《Hennessy-Milner逻辑的递归证明系统》，发表于1989年的《信息与计算》。 [19] Manna，Z.和Pneuli A.：时间框架的锚定版本，收录于Springer LNCS 3541989年·Zbl 0683.68031号 [20] Milner，R.：《通信系统的微积分》，Springer-Verlag出版社，1980年；爱丁堡大学报告ECS-LFCS-87-7提供·Zbl 0452.68027号 [21] Milner，R.：同步和异步的计算。理论计算机科学，25 1983年·Zbl 0512.68026号 [22] Milner，R.：《沟通与并发》，普伦蒂斯·霍尔出版社，1989年·Zbl 0683.68008号 [23] Parrow，J.：用CCS验证CSMA/CD协议，爱丁堡大学报告ECS-LFCS-87-181987。 [24] Peterson，J.L.和Silberschatz，A.：操作系统概念，第二版，Addison-Wesley，1985年·Zbl 0758.68023号 [25] Pratt，V.，《可判定的微积分》，收录于Proc。第22届ACM FOCS，1981年。 [26] Queille J.和Sifakis J.：CESAR中并发系统的规范和验证，收录于Springer LNCS 137，1981年·兹伯利04822.68028 [27] Stirling，C.：CCS的时间逻辑，Springer LNCS 3541989·Zbl 0683.68016号 [28] 斯特灵，C.：模态和时间逻辑，将出现在《计算机科学逻辑手册》中的一章，牛津大学出版社，1989年。 [29] Stirling，C.和Walker，D.：模态Mu-Calculus中的局部模型检验，Springer LNCS 3511989·Zbl 0745.03027号 [30] Stirling，C.和Walker，D.：线性时间Mu-Calculus中的CCS、Liveness和局部模型检查，见[Gre89]·Zbl 0745.03027号 [31] Walker，D.：《通信系统微积分导论》，爱丁堡大学报告，ECS-LFCS-87-221987。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。