状态爆炸论文

论文摘要随着并发系统在诸多领域的广泛应用,如何对其性能分析以确保系统的质量,这已成为开发人员及使用者特别关注的问题。在软件工程的早期阶段,对系统建立模型并做性能分析,可以及时发...

论文题目:传值进程与移动进程的模型检测方法论文类型:博士论文论文专业:计算机软件与理论作者:刘剑导师:林惠民关键词:传值系统,移动计算,进程代数,模型检测,传值,移动界程,状态...