传值系统相关硕士博士期刊学术论文 - 信丰网

传值系统相关论文

传值系统的互模拟与谓词等式系

本文引入描述传值并系统的新模型“带赋值符号迁移图（ＳＴＧＡ）”推广了Ｈｅｎｎｅｓｓｙ和Ｌｉｎ提出的“符号迁移图”的概念，允许迁移上带有赋值，从而能将更大的一类......

期刊

互模拟谓词等式系传值系统进程软件 Value-passing processes bisimulation predicate equation sy

传值进程与移动进程的模型检测方法

并发理论研究并发现象,即多个独立运行的计算主体(进程)相互间通过交换信息(通信)实现协作,以共同完成预定的任务的计算现象。自六......

学位

传值系统移动计算进程代数模型检测传值CCS 移动界程状态爆炸

看过本文同时还关注