互模拟论文

论文摘要在策梅洛-弗兰克尔的集合论公理系统ZF中,基础公理把集合的论域限制到良基集合。因此,不存在属于关系的无穷降链,也不存在属于自身的集合。1989年阿克采尔创立了非良基集合...

论文摘要高阶进程演算,因为其很强的抽象能力和理论上的重要性,在进程演算领域一直得到广泛的关注,并成为描述和分析具有动态变换特性的内部连接结构的移动系统的有效数学工具。在本文中,...

论文摘要随着业务要求的不断增加,Web服务组合变得日益复杂,服务组合出错的可能性也不断增加,这就需要对Web服务组合流程进行分析和验证,以保证服务组合的正确性和可靠性。本文的主...

论文摘要随着Web服务数量的急剧增多,用户面临大量的服务选择。因此如何从众多功能相似的Web服务中高效地发现满足条件的服务,如何判定服务组合的正确性等问题,已成为业界研究的热点...

论文摘要进程代数作为描述和分析并发与分布式系统的重要工具之一是并发理论的主流研究方向。互模拟是进程代数中刻画行为等价的核心概念,而模态逻辑特征是它的一个重要性质。随着进程代数的...