移动界程论文

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