绑定的事件结构相关硕士博士期刊学术论文

对进程代数LOTOS的事件结构模型进行了随机特性的量化扩展.给出了随机进程代数交互式马尔可夫链代数(IMCA)的非交互式语义模型:事......