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

χcalculus相关论文

一新型移动进程模型—x—演算

提出一新型并发计算模型－ｘ－演算，它与π－演算的不同之处在于；具有统一的输入和输出，只有一类受限名，通讯的范围由局部化操作作界定，允许更大......

期刊

互模拟 Π-演算 X-演算移动进程并发计算模型 bisimulation πcalculus χcalculus mobile process

高阶x—进程

在新型并发计算模型－Ｘ－演算的基础上进一步研究高价Ｘ－演算，并从代数性质，递归能力等方面研究该计算模型，该演算的特点是它的对称性。......

期刊

互模拟 Π-演算 X-演算并行计算模型 X-进程 bisimulation πcalculus χcalculus

看过本文同时还关注