马修·轩尼诗 公平异步通信过程的代数理论。 （英语） Zbl 0612.68026号 西奥。计算。科学。 49, 121-143 (1987). 参考初步版本的审查【Lect.Notes Compute.Sci.194，260-269（1985）】Zbl 0566.68022号. 引用于1审查引用于9文件 MSC公司： 68N25号 操作系统理论 关键词：公平异步通信过程;指称语义学 引文：Zbl 0566.68022号 PDF格式BibTeX公司 XML格式引用 \发短信{轩尼诗先生}，Theor。计算。科学。49、121--143（1987年；Zbl 0612.68026） 全文： 内政部 参考文献： [1] 阿普特，K。；Olderog，E.，《关于公平的证明规则和转换》，《科学》。计算。程序。，3, 65-100 (1983) ·Zbl 0512.68014号 [2] Darondeau，P。；Kott，L.，《公平并行的观察语义》（计算机科学讲义，154（1983），施普林格：施普林格柏林），147-159·Zbl 0518.68014号 [3] Darondeau，P.，公平异步的完全抽象模型，（计算机科学讲义，197（1985），施普林格：施普林格柏林），458-465·Zbl 0564.68018号 [4] DeNicola，R。；Hennessy，M.，《过程等效性测试》，Theoret。计算。科学。，34, 83-133 (1984) ·兹伯利0985.68518 [5] DeNicola，R.，《通信过程的等价性和完全抽象模型测试》（爱丁堡大学博士论文（1985）） [6] Hennessy，M.，有限延迟算子建模，（技术报告CSR-153-83（1983），爱丁堡大学） [7] Hennessy，M.，《过程的同步和异步实验》，Inform。和控制，59，2，3，36-83（1983）·Zbl 0544.68028号 [8] Hennessy，M.，《模拟展览会流程》，华盛顿特区。华盛顿特区，Proc。第16届ACM交响乐团。《计算理论》，25-31（1984） [9] Hennessy，M.，《验收树》，J.ACM，32，4，896-928（1985）·Zbl 0633.68074号 [10] Meyer，J.，《一类相当简单的过程的不动点和任意公平合并》（《技术报告》IR-89，92（1984），Vrije Universiteit:Vrije-Universiteit Amsterdam） [11] Milner，R.，（通信系统微积分。通信系统的微积分，计算机科学课堂讲稿，92（1980），施普林格：施普林格-柏林）·Zbl 0452.68027号 [12] Milner，R.，同步CCS中的有限延迟算子，（技术报告CSR-116-82（1983），爱丁堡大学） [13] Park，D.，《公平并行的语义》（计算机科学讲义，86（1980），Springer:Springer-Blin）·Zbl 0456.68028号 [14] Stoy，M.，《指称语义学：编程语言理论的Scott-Strachey方法》（1977年），麻省理工学院出版社：麻省理学院出版社剑桥 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。