马里奥·布雷韦蒂；马可·贝尔纳多 具有概率、优先级和时间的过程代数的合成非对称合作。 （英语） Zbl 0970.68114号 Corradini，Flavio（编辑）等人，MTCS 2000。2000年8月26日，美国宾夕法尼亚州大学公园州立学院，时间关键型系统模型国际卫星研讨会论文集。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。第39、3、34页，仅电子版（2000年）。 概要：过程代数的建模和分析经验表明，有必要通过优先级、概率内部/外部选择和时间来扩展它们，以便能够忠实地建模真实系统的行为并捕获感兴趣的属性。在这种情况下，一个重要的开放问题是如何在所有这些机制存在的情况下获得语义合成，以便进行有效的分析。在本文中，我们认为，当通过考虑上述机制而放弃经典的非确定性设置时，一个自然的解决方案是打破参与同步的进程角色的对称性。我们通过区分主行动和从属行动来实现这一点，主行动是根据其优先级/概率或指数分布的持续时间进行的，从属行动是根据其优先级/概率进行的主操作只能与从操作同步。从技术上讲，本文定义了一个名为EMPA（{text{gr}}）的进程代数，其中包括概率、优先级、指数分布持续时间和生成主-从同步机制。然后，我们证明了EMPA\（_｛\text｛gr｝｝）中的同步机制是正确的w.r.t。在新的合作结构模型中，我们证明了马尔科夫互模拟等价性是EMPA（{text{gr}}）的同余，并给出了有限项的一个完善的公理化。关于整个系列，请参见[Zbl 0957.00043号]. 引用于12文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：EMPA\（_{\text{gr}}\） PDF格式BibTeX公司 XML格式引用 \textit{M.Bravetti}和\textit{M.Bernardo}，收录于：MTCS 2000。2000年8月26日，美国宾夕法尼亚州大学公园州立学院，时间关键型系统模型国际卫星研讨会论文集。阿姆斯特丹：爱思唯尔。第34页（2000年；Zbl 0970.68114）