进程等价相关硕士博士期刊学术论文 - 搜论网

进程等价相关论文

安全进程代数基础

安全进程代数可以作为信息流安全的基础理论框架.本文引入了一种基于CCS的安全进程代数,描述了它的语义及等价模型.......

期刊

安全进程代数操作语义指称语义进程等价 security process algebra operational semantics denotatio

行为等价博弈

本文中,我们首先简要总结一下代数、逻辑和博弈(或游戏)这三种作为描述抽象模型的方法各自所具有的特点,并且主要介绍Ehrenfeucht-......

学位

数理逻辑自动机进程代数游戏计算复杂性进程等价行为等价

看过本文同时还关注