安德烈斯·阿里斯蒂扎巴尔;菲利波·邦奇;路易斯·皮诺;弗兰克·巴伦西亚 将CCP中的弱相似性降低为强相似性。 （英语） Zbl 1433.68228号 Carbone，Marco（编辑）等人，第五届交互和并发体验研讨会会议记录，ICE’12，瑞典斯德哥尔摩，2012年6月16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）104，2-16（2012年）。 概要：并发约束编程（ccp）是一种成熟的并发模型，它可以找出异步系统的基本方面，异步系统的代理（或进程）是通过在全局介质中发布和查询（部分）信息来进化的。双相似性是并发理论中的一种标准行为等价。然而，直到最近，人们才提出了ccp的双相似性的良好概念，以及用于决定该等价的强版本的ccp分区细化算法。弱双相似性是过程计算中的一个核心行为等效性，它是通过仅考虑系统中可观察到的行为而从强情况中获得的。通常，标准划分精化也可以通过使用Milner从弱相似性到强相似性的约简来确定弱相似性；一种称为饱和度的技术。在本文中，我们证明，由于涉及到标记跃迁，上述饱和技术不适用于ccp。我们给出了从弱ccp双相似性到强ccp双类似性的另一种约简，它允许我们使用ccp分区细化算法来确定这种等价性。关于整个系列，请参见[Zbl 1428.68010号]. 引用于1文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） PDF格式BibTeX公司 XML格式引用 \textit{A.Aristizábal}等人，《电子》。程序。西奥。计算。科学。（EPTCS）104，2--16（2012；Zbl 1433.68228） 全文： arXiv公司 链接