论文部分内容阅读
以标号迁移系统为工具,探讨了系统行为的等价性问题,构建了模拟及互模拟关系的形式化模型,进而将互模拟的概念推广到了系统的层面,进一步探讨了模拟及互模拟关系的性质,揭示了互模拟概念的本质,为其在形式化分析及验证技术中的应用提供了基础。
标号迁移系统的互模拟关系及其性质
【摘 要】
：
以标号迁移系统为工具,探讨了系统行为的等价性问题,构建了模拟及互模拟关系的形式化模型,进而将互模拟的概念推广到了系统的层面,进一步探讨了模拟及互模拟关系的性质,揭示
【机 构】
：
福建工程学院信息科学与工程学院,福建省大数据挖掘与应用技术重点实验室
【出 处】
：
福建工程学院学报
【发表日期】
：
2018年6期
【基金项目】
：
福建省自然科学基金资助项目(2016J05146),福建工程学院科研启动基金资助项目(GY-Z13112,GY-Z13113).
其他文献