保罗·加德纳 功率模拟及其与跟踪和故障细化的关系。 （英语） Zbl 1070.68103号 西奥。计算。科学。 309，编号1-3，157-176（2003）. 摘要：在赋予进程代数表达式含义时，通常使用两种截然不同的方法：一种操作语义，通常与CCS语言相关，通过考虑每个术语是否可以相互模拟来定义术语之间的等价性；通常与CSP相关的指称语义提供了一种映射，在语言结构上递归定义，将每个术语纳入精心选择的集合理论对象中。（跟踪和故障模型是此类语义域的著名示例。）我们提出了这两种方法之间的形式链接，包括定义一种相互模拟等价的变体，该变体自然会导致跟踪和故障排序。目前我们无法将此结果推广到故障/分歧模型。 引用于5文件 理学硕士： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：程序语义;仿真对;失败;统一;谓词转换器 PDF格式BibTeX公司 XML格式引用 \文本{P.加德纳}，Theor。计算。科学。309，编号1--3，157--176（2003；Zbl 1070.68103） 全文： 内政部 参考文献： [1] 背面，R.-J.R。；von Wright，J.，精化微积分I：序列不确定性程序，（de Bakker，J.W.；de Roever，W.P.；Rozenberg，G.，分布式系统的逐步精化。分布式系统的逐步精化，计算机科学讲义，第430卷（1990），施普林格：施普林格纽约），42-66 [2] 加德纳，P.H.B.，一致性和完备性的代数证明，定理。计算。科学。，150, 161-191 (1995) ·Zbl 0874.68195号 [3] 加德纳，P.H.B。；马丁·C·E。；de Moor，O.，谓词变换器的代数构造，Sci。计算。编程，22，21-44（1994）·Zbl 0807.18003号 [4] 加德纳，P.H.B。；Morgan，C.C.，数据细化的单一完整规则，形式方面计算。，5, 367-382 (1993) ·Zbl 0774.68081号 [5] Hoare，C.A.R.，《通信顺序过程》（1985），Prentice-Hall International·Zbl 0637.68007号 [6] C.A.R.Hoare，何继峰，《程序设计统一理论》，普伦蒂斯·霍尔出版社，欧洲，1998年，ISBN 0134587618。；C.A.R.Hoare，何继峰，《程序设计统一理论》，普伦蒂斯·霍尔出版社，欧洲，1998年，ISBN 0134587618·Zbl 0996.68754号 [7] Milner，R.，《沟通与并行》（1989），普伦蒂斯·霍尔国际出版社·Zbl 0683.68008号 [8] Morgan，C.C.，《基于规范的编程》（1990），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德克利夫斯，新泽西州·Zbl 0697.68018号 [9] A.W.Roscoe，《并发的理论与实践》，普伦蒂斯·霍尔，恩格尔伍德·克利夫斯，新泽西州，1998年，第xv+565页，ISBN 0-13-6774409-5。；A.W.Roscoe，《并发的理论与实践》，普伦蒂斯·霍尔，恩格尔伍德·克利夫斯，新泽西州，1998年，第xv+565页，ISBN 0-13-6774409-5。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。