詹姆斯·J·莱弗。;罗宾·米尔纳 导出反应系统的互模拟同余。 （英语） Zbl 0999.68141号 Palamidessi，Catuscia（编辑），CONCUR 2000-并发理论。2000年8月22日至25日，第11届国际会议，美国宾夕法尼亚州大学公园。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1877, 243-258 (2000). 概述：反应系统（如CCS）的动力学通常使用标记过渡系统（LTS）进行定义。最近，在定义动力学时，使用反应规则（即未标记的过渡规则）和结构同余变得很自然。但LTS更自然地导致行为等效。因此，我们希望从反应规则中导出一个合适的LTS。本文介绍了如何推导一个广泛的无功系统的LTS。代理（A）的标签被定义为任何上下文（F），直观地说，其大小刚好足以使代理（Fa）（“上下文中的（A）”）能够执行反应。本文的主要贡献是根据相对推出（RPO）的范畴概念对“刚好足够大”进行了精确定义，这确保了当存在足够的RPO时，双相似性是一致的。文中给出了两个示例，一个是动作计算的简化形式，另一个是术语重写，结果表明确实存在足够的RPO。因此，本文的主旨是寻求一种实现有用的行为一致关系的通用方法。关于整个系列，请参见[Zbl 0944.00069号]. 引用于1审查引用于44文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） PDF格式BibTeX公司 XML格式引用 \textit{J.J.Leifer}和\textit{R.Milner}，Lect。注释计算。科学。1877243-258（2000年；Zbl 0999.68141）