交互式马尔可夫链代数的事件结构模型

摘要：

对进程代数LOTOS的事件结构模型进行了随机特性的量化扩展.给出了随机进程代数交互式马尔可夫链代数(IMCA)的非交互式语义模型:事件结构.并且证明了给出的随机事件结构模型的正确性.同时,给出了IMCA基于事件的操作语义,并且证明了它和现有交互式语义的一致性.

关键词：绑定的事件结构、交互式马尔可夫链、事件迹、操作语义

所属期刊栏目：27

分类号：TP302.7(计算技术、计算机技术)

资助基金：甘肃省自然科学基金项日3ZS051-A25-047;甘肃省教育厅科研基金0712-02

在线出版日期：2008-09-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：97-100