Paper Publications

Hits:

Affiliation of Author(s):计算机科学与数学学院

Journal:福建工程学院学报

Funded by:省、自治区、直辖市科技项目

Key Words:系统行为; 等价; 标号迁移系统; 模拟; 互模拟

Abstract:以标号迁移系统为工具，探讨了系统行为的等价性问题，构建了模拟及互模拟关系的形式化模型，进而将互模拟的概念推广到了系统的层面，进一步探讨了模拟及互模拟关系的性质，揭示了互模拟概念的本质，为其在形式化分析及验证技术中的应用提供了基础。

Note:2019.02.25 通过

Indexed by:Journal paper

Document Code:10448

Volume:16

Issue:6

Page Number: 547-552

ISSN No.:1672-4348

Translation or Not:no

CN No.:35-1267/Z

Date of Publication:2018-12-10