传值CCS 相关硕士博士期刊学术论文 - 搜论网

传值CCS相关论文

并发传值进程模型检测工具的数据类型扩展

模型检测技术是近二十年来最成功的自动验证技术之一，目前被广泛的应用于有穷状态系统(包括电路设计和通讯协议等)的分析与验证。对......

学位

形式化方法模型检测并发传值进程复杂数据类型传值CCS 带赋值符号迁移图

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

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

学位

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

看过本文同时还关注