分支互模拟相关论文
基本进程代数是进程重写系统中基础的顺序进程。相比有限状态系统,它引入了无限状态;相比于基本并行进程,它是顺序执行,控制能力较......
形式化验证是计算机科学中的核心课题之一;等价验证是形式化验证中一个主流领域;互模拟等价验证作为等价验证的重要组成部分,起始......
传统企业的工作流系统大都采用基于活动的建模方法。而今，企业经常组成动态联盟，在联盟中，采用基于角色的建模方法更适合。因此，面向企......
