有限状态进程相关论文
判定两个进程是否具有某种等价关系，是形式化验证的重要组成部分，很多种等价关系被定义出来以满足不同的验证需求，强互模拟等价和分支......
提出一种对现有软件体系结构的扩展来满足复杂的信息物理融合系统(CPS)的建模需求,增加对CPS的物理系统、物理系统的的联系交互、......
测试分布式程序需要定义事件约束来检测程序执行产生的事件序列.事件约束需要根据程序的规约来推导.FSP是一类描述并发程序形式化......
当前分析和设计物理信息系统的模型和方法通常是线性分离的,且由不同的数学形式化方法和工程与计算机科学中的不同方法定义。为便......
测试分布式程序需要定义事件约束来检测程序执行产生的事件序列。事件约束需要根据程序的规约来推导。FSP是一类描述并发程序形式......
分析有限状态进程互模拟等价判定技术，探讨了诊断公式的生成问题。给出了将有限状态进程转化为带标号的迁移系统，修改了Paige和Traja......
