点击次数：
所属单位：计算机科学与数学学院
发表刊物：福建工程学院学报
项目来源：省、自治区、直辖市科技项目
关键字：系统行为; 等价; 标号迁移系统; 模拟; 互模拟
摘要：以标号迁移系统为工具，探讨了系统行为的等价性问题，构建了模拟及互模拟关系的形式化模型，进而将互模拟的概念推广到了系统的层面，进一步探讨了模拟及互模拟关系的性质，揭示了互模拟概念的本质，为其在形式化分析及验证技术中的应用提供了基础。
备注：2019.02.25 通过
论文类型：期刊论文
论文编号：10448
卷号：16
期号：6
页面范围： 547-552
ISSN号：1672-4348
是否译文：否
CN号：35-1267/Z
发表时间：2018-12-10