Damien Pous 弱相互模拟直至精化。 （英语） Zbl 1151.68551号 Baier，Christel（编辑）等人，CONCUR 2006–并发理论。第17届国际会议，CONCUR 2006，德国波恩，2006年8月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-37376-6/pbk）。计算机科学讲义4137，390-405（2006）。 小结：我们在弱互模拟的up-to技术框架中研究了细化预序的使用（由于Arun-Kumar和Natarajan）。我们表明，细化产生了一种正确的技术，它包含了常用的扩展技术。我们还定义了一种用于细化的up-to技术理论，该理论特别验证了细化到细化技术，而众所周知，弱互模拟到弱互相似性是不可靠的。从这个意义上说，最终的设置在模块化方面比以前的工作有所改进。我们的结果是使用利用终止参数的非平凡证明获得的。特别是，我们需要终止内部计算，以使up-to技术正确。我们展示了如何在一定程度上放松这种条件，以处理表现出无限内部行为的过程。关于整个系列，请参见[Zbl 1114.68001号]. 引用于5文件 MSC公司： 第68季度85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） PDF格式BibTeX公司 XML格式引用 \textit{D.Pous}，莱克特。注释计算。科学。4137390--405（2006年；Zbl 1151.68551） 全文： 内政部 哈尔