轩尼诗，M。；Lin，H。 消息传递过程代数的证明系统。 （英语） Zbl 0857.68040号 正式Asp。计算。 第8期，第4期，第379-407页（1996年）. 引用于15文件 MSC公司： 2005年第68季度 计算模型（图灵机等）（MSC2010） 关键词：互模拟；消息传递；进程代数 PDF格式BibTeX公司 XML格式引用 \textit{M.Hennessy}和\textit{H.Lin}，正式Asp。计算。8，第4号，379--407（1996；Zbl 0857.68040） 全文： 内政部 参考文献： [1] Burns，G.一种用于传递值的cc的语言。技术报告ECS-LFCS-91-175，爱丁堡大学，1991年8月。 [2] Cleaveland，R.，Parrow，J.，Steffen，B.并发工作台：有限状态系统的基于语义的验证工具。《美国计算机学会编程系统汇刊》，15:36-721989年·数字对象标识代码：10.1145/151646.151648 [3] Groote，J.F.，Ponse，A.？的语法和语义？CRL公司。技术报告CS-R9076，CWI，阿姆斯特丹，1990年。 [4] Groote，J.F.，Ponse，A.？的证明理论？CRL公司。技术报告CS-R9138，CWI，阿姆斯特丹，1991年·Zbl 0813.68135号 [5] Hennessy，M.过程代数理论。麻省理工学院出版社，1988年·Zbl 0744.68047号 [6] Hennessy，M.用价值传递传递过程的证明系统。计算机科学的形式方面，3:346-3661991·Zbl 0736.68057号 ·doi:10.1007/BF01642508 [7] Hennessy，M.，Ingolfsdottir，A.一种用价值传递传递过程的理论。信息与计算，107（2）：202-2361993·Zbl 0794.68098号 ·doi:10.1006/inco.1993.1067 [8] Hennessy，M.Lin，H.符号互模拟。理论计算机科学，138:353-3891995·兹伯利0874.68187 ·doi:10.1016/0304-3975（94）00172-F [9] Hennessy，M.Liu，X.消息传递过程的模态逻辑。《信息学报》，32:375-3931995年·Zbl 0827.68102号 [10] 霍尔、C.A.R.、罗斯科、A.W.《偶然法则》。技术报告PRG专论53，牛津大学计算实验室，1986年·Zbl 0719.68039号 [11] Lin，H.PAM：进程代数操纵器。K.Larsen和A.Skou主编，《计算机辅助验证》，《计算机科学讲义》第575卷，第136-146页。Springer-Verlag，1991年。另请参阅1991年9月的《苏塞克斯计算机科学技术报告》。 [12] Lin，H.价值传递过程的验证工具。第13届国际协议规范、测试验证、IFIP交易研讨会论文集。北荷兰，1993年。 [13] Milner，R.通信与并发。普伦蒂斯·霍尔，1989年。 [14] Milner，R.，Parrow，J.，Walker，D.移动过程的微积分，第一部分：信息与计算，100（1）：1-401992·Zbl 0752.68036号 ·doi:10.1016/0890-5401（92）90008-4 [15] Parrow，J.，Sangiorgi，D.通过值计算的代数理论。技术报告，爱丁堡大学，1993年。瑞典SICS的技术报告。出现在信息和计算中·Zbl 0836.03020号 [16] Walker，D.使用CCS自动分析互斥算法。《计算的形式方面》，1:273-2921989年·Zbl 0696.68039号 ·doi:10.1007/BF01887209 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。