米尔纳，罗宾;法隆·莫勒 流程的独特分解。 （英语） Zbl 0777.68037号 西奥。计算。科学。 107，第2期，357-363（1993）. 一个过程是不可约的（关于\（\ |）\），如果无论何时\（P=Q\ | R\），我们都有\（Q=0\）或\（R=0\。如果一个不可约过程不等于0，那么它就是素数。素数的多集（A_1，点，A_n}）是如果（P=A_1 A_2）的分解。证明了任何有限过程（具有类似CCS的无通信并行算子）都可以根据互模拟等价性唯一地分解为素过程。提出的证明是非建设性的。给出了故障（测试）等价性和跟踪等价性的反例。此外，还证明了任意无穷过程不存在素分解。审核人：D.Gruska（布拉迪斯拉发） 引用于1审查引用于18文件 MSC公司： 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：失效等效性;分解，分解;互模拟;迹等效性 PDF格式BibTeX公司 XML格式引用 \textit{R.Milner}和\textit{F.Moller}，Theor。计算。科学。107，No.2，357--363（1993；Zbl 0777.68037） 全文： 内政部 参考文献： [1] 布鲁克斯，S.D。；霍尔，C.A.R。；Roscoe，A.W.，《通信顺序过程理论》，J.ACM，31560-599（1984）·兹比尔062868025 [2] 德尼古拉（de Nicola），R。；Hennessy，M.C.，《过程等效性测试》，Theoret。计算。科学。，34, 83-133 (1983) ·Zbl 0985.68518号 [3] Hirshfeld，J.，《确定性并发系统》（《技术报告162/90》（1990），特拉维夫大学计算机科学研究所）·Zbl 0741.68046号 [4] Milner，R.，《沟通与并发》（1989），普伦蒂斯·霍尔：新泽西州普伦蒂斯霍尔-恩格尔伍德克利夫斯·Zbl 0683.68008号 [5] Moller，F.，并发公理（博士论文，报告ECS-LFCS-89-84（1989），爱丁堡大学计算机科学系） [6] D.M.R.Park，无限序列上的并发与自动机，收录于：《计算机科学讲义》，第104卷（施普林格，柏林，1980）167-183。；D.M.R.Park，无限序列上的并发与自动机，收录于：《计算机科学讲义》，第104卷（施普林格，柏林，1980）167-183·兹比尔0457.68049 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不声称其完整性或完全匹配。