轩尼诗，M。;Ingólfsdóttir，A。 通过价值传递和分配沟通流程。 （英语） Zbl 0784.68055号 正式Asp。计算。 5，第5期，432-466（1993）. 引用于7文件 MSC公司： 68问题55 计算理论中的语义学 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 关键词：通信过程;验收树;价值传递;不等式;测试;奥卡姆 PDF格式BibTeX公司 XML格式引用 \textit{M.Hennessy}和\textit{A.Ingólfsdóttir}，正式Asp。计算。5，第5号，432--466（1993；Zbl 0784.68055） 全文： 内政部 参考文献： [1] S.D.布鲁克斯、C.A.R.霍尔和A.W.罗斯科？通信顺序过程理论？，雅克31（7），560-599 1984年·Zbl 0628.68025号 ·数字对象标识代码：10.1145/828.833 [2] E.布林克斯马？LOTOS教程。？IFIP协议规范、测试和验证研讨会论文集V，M.Diaz，ed.，第73-84页。荷兰北部，阿姆斯特丹，1986年。 [3] DeNicola，R.和M.Hennessy？测试过程等效性。？《理论计算机科学》，1984年第24期，第83-113页。 [4] Francez，N.、Lehman，D.和Pnueli，A？分布式处理语言语义的线性历史，TCS，32，25-461984·兹伯利0543.68019 ·doi:10.1016/0304-3975（84）90022-7 [5] 我是游击队员？代数语义？，Springer-Verlag计算机科学讲稿，第99卷，1981年。 [6] Hennessy，M.，Ingólfsdóttir，A.《传递价值的沟通过程理论》，苏塞克斯大学技术报告第3/89号，1989年。出现在信息和计算中·Zbl 0794.68098号 [7] 轩尼诗，M？验收树。？《美国医学会杂志》，第32卷，第4期，1985年10月，第896-928页·Zbl 0633.68074号 ·doi:10.1145/4221.4249 [8] Hennessy，M.代数过程理论。麻省理工学院出版社，剑桥，1988年·Zbl 0744.68047号 [9] Hennessy，M.，《具有值传递的通信过程的证明系统》，《计算的形式方面》，1991年第3卷，第346-366页·Zbl 0736.68057号 ·doi:10.1007/BF01642508 [10] Hennessy，M.和Plotkin，G？CCS术语模型？，Springer-Verlag计算机科学讲稿，第88卷，1980年·Zbl 0479.68011号 [11] C.A.R.霍尔？通信顺序过程？，美国机械工程师协会通讯，21（8），666-677 1978·Zbl 0383.68028号 ·doi:10.1145/359576.359585 [12] Hoare，C.A.R.通信顺序过程。普伦蒂斯·霍尔国际公司，伦敦，1985年·Zbl 0637.68007号 [13] C.A.R.霍尔和A.W.罗斯科？奥卡姆定律？，TCS 60，第177-229页，1988年·Zbl 0719.68039号 ·doi:10.1016/0304-3975（88）90049-7 [14] Inmos Ltd.，《Occam编程手册》，Prentice-Hall，伦敦，1984年。 [15] Milner，R.通讯系统微积分，计算机科学课堂讲稿92。施普林格出版社，柏林，1980年·Zbl 0452.68027号 [16] 米尔恩，R？并发模型和公理？，RAISE/STC/REM/6/V2，STC技术有限公司，1988年。 [17] Milner，R.，《沟通与并行演算》，Prentice-Hall，伦敦，1989年·Zbl 0683.68008号 [18] Olderog，E.R.，《过程理论：语义、规范和验证》，摘自J.W.deBakker，W.P.deRover，G.Rozenberg（编辑），《并发的当前趋势》，《计算机科学224讲义》，Springer-Verlag，1986年，第442-509页。 [19] 普洛金，G？领域理论课堂讲稿？，爱丁堡大学，1981年。 [20] 普洛金，G？CSP的操作语义？，程序。IFIP工作组2.2，编程概念形式化描述工作会议，1989年11月·Zbl 0512.68012号 [21] A.W.罗斯科？Occam？的指称语义？，PRG专著，牛津大学，1988年·Zbl 0565.68024号 [22] 施密特，D.，《指称语义学》，艾伦和培根，1986年。 [23] Smyth，M.和Plotkin，G？递归区域方程的范畴理论解？，SIAM计算机杂志，第11卷，第4期，1982年·Zbl 0493.68022号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。