排序方式: 共有1条查询结果,搜索用时 15 毫秒
1
1.
赵锡英 《兰州交通大学学报》2008,27(3)
对进程代数LOTOS的事件结构模型进行了随机特性的量化扩展.给出了随机进程代数交互式马尔可夫链代数(IMCA)的非交互式语义模型:事件结构.并且证明了给出的随机事件结构模型的正确性.同时,给出了IMCA基于事件的操作语义,并且证明了它和现有交互式语义的一致性. 相似文献
1