ntyftntyxt 相关硕士博士期刊学术论文 - 搜论网

ntyftntyxt相关论文

CC-模拟相对GSOS/ntyft/ntyxt算子的前同余性及公理刻画

进程演算是刻画并发与交互式反应系统行为的原型规范语言,它们通过进程项来描述反应式系统的规范及实现,实现是否满足规范则由行为......

学位

进程代数共变-异变模拟(CC-模拟) 结构化操作语义(SOS) GSOS ntyft/ntyxt 前同余性可靠性完备性

看过本文同时还关注