G.布多尔。;卡斯特拉尼，I。;轩尼诗，M。;A.基恩。 具有局部性的过程理论。 （英文） Zbl 0806.68070号 正式Asp。计算。 6，第2期，165-200（1994）. 引用于5评论引用于29文件 MSC公司： 68问题55 计算理论中的语义学 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 关键词：互模拟;分布式系统 PDF格式BibTeX公司 XML格式引用 \textit{G.Boudol}等人，正式Asp。计算。6，编号2165-200（1994年；兹bl 0806.68070） 全文： 内政部 参考文献： [1] Aceto，L.：位置的静态视图。报告1483，INRIA，1991年·Zbl 0806.68069号 [2] Aceto，L.：关于关联并发性和不确定性。InProc.公司。MFPS 91，1992年·Zbl 0847.68032号 [3] Boudol，G.、Castellani，I.、Hennessy，M.和Kiehn，A.：观察地点。报告4/91，苏塞克斯大学，INRIA Res.Rep.14851991。出现在理论计算机科学。程序中的扩展抽象。MFCS 91，LNCS 5201991年·Zbl 0778.68055号 [4] Boudol，G.，Castellani，I.，Hennessy，M.和Kiehn，A.：局部过程理论。报告1632，INRIA，1991年。程序中的扩展抽象。CONCUR92，LNCS 6301992年·Zbl 0806.68070号 [5] Bergstra，J.和Klop，J.W.：用抽象传递过程的代数。理论计算机科学，37:77-1211985·Zbl 0579.68016号 ·doi:10.1016/0304-3975（85）90088-X [6] Castellani，I.：并行的相互模拟。爱丁堡大学博士论文，1988年·Zbl 0666.68021号 [7] Castellani，I.和Hennessy，M.：分布式互模拟。JACM，10（4）：887-911，1989年·Zbl 0697.68076号 ·数字对象标识代码：10.1145/76359.76369 [8] Darondeau，Ph.和Degano，P.：因果树。InProc.公司。ICALP 88，第234-248页，1989年。 [9] Darondeau，Ph.和Degano，P.：因果树：交错+因果关系。《并发进程系统的语义》，第239-255页，1990年。 [10] Degano，P.、De Nicola，R.和Montanari，U.：并发模型的观测等效性。在M.Wirsing，编辑，《编程概念的形式描述III》，第3届IFIP WG 2.2工作会议论文集，Ebberup 1986，第105-129页，北荷兰，1987年。 [11] Hennessy，M.：公理化有限并发过程。SIAM计算机杂志，17（5）：997-10171988·兹伯利0666.68024 ·数字对象标识代码：10.1137/0217063 [12] Hennessy，M.和Milner，R.：不确定性和并发性的代数定律。雅克，32（1）:137-161985·Zbl 0629.68021号 ·doi:10.1145/2455.2460 [13] Kiehn，A.：有限CCS的分布式互模拟。报告7/89，苏塞克斯大学，1989年。 [14] Kiehn，A.：局部和全球原因。1991年慕尼黑理工大学342/23/91号报告。已提交发布。 [15] Milner，M.：流图和流代数。JACM，26（4）：794-8181979年·Zbl 0421.68025号 ·doi:10.1145/322154.322167 [16] Milner，M.：通信系统微积分。《计算机科学讲义》第92卷，施普林格-弗拉格出版社，1980年·Zbl 0452.68027号 [17] Milner，M.：沟通与并发。普伦蒂斯·霍尔，1989年·Zbl 0683.68008号 [18] Montanari，U.和Yanklevich，D.：局部参数方法。《ICALP诉讼》921992年。 [19] van Glabbeek，R.和Goltz，U.：等效和细化。《并发过程系统的语义》，第309-333页，1990年。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。