标号迁移系统的互模拟关系及其性质期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

标号迁移系统的互模拟关系及其性质

摘要：	以标号迁移系统为工具,探讨了系统行为的等价性问题,构建了模拟及互模拟关系的形式化模型,进而将互模拟的概念推广到了系统的层面,进一步探讨了模拟及互模拟关系的性质,揭示了互模拟概念的本质,为其在形式化分析及验证技术中的应用提供了基础。
本文献已被 CNKI 等数据库收录！