传值论文

并发系统的形式化技术研究
论文摘要随着计算机技术在尖端领域的应用,为了提高系统的安全性与可靠性,形式化方法得到长足的发展,也出现了许多优秀的形式化工具,例如,B、VDM、Z语言,还有诸如Petri网、C...
一种扩展的并发传值进程抽象模型
论文摘要形式化方法中的模型检测技术是近三十年来最为成功的自动验证技术之一。对并发传值系统进行模型检测需要建立相应的抽象模型,带赋值的符号迁移图是一种广为使用的抽象模型。对于并发...
传值进程与移动进程的模型检测方法
论文题目:传值进程与移动进程的模型检测方法论文类型:博士论文论文专业:计算机软件与理论作者:刘剑导师:林惠民关键词:传值系统,移动计算,进程代数,模型检测,传值,移动界程,状态...