杨鹏飞;大卫·詹森（David N.Jansen）。;张丽君 标记马尔可夫过程的基于分布的互模拟。 （英语） Zbl 1494.68184号 阿巴特，亚历山德罗（编辑）等，时间系统的形式化建模和分析。2017年9月5-7日在德国柏林举行的2017年FORMATS第15届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10419, 170-186 (2017). 摘要：在本文中，我们提出了一种基于（子）分布的标记马尔可夫过程互模拟，并将其与早期的状态和事件互模拟定义进行了比较，后者都只比较状态。与那些基于状态的互模拟相比，我们的分布互模拟较弱，但更接近线性特性。我们构造了一个逻辑和一个度量来描述我们的分布互模拟，并讨论了线性、连续性和组成特性。关于整个系列，请参见[Zbl 1369.68007号]. 引用于三文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 第68季度87 计算机科学中的概率（算法分析、随机结构、相变等） PDF格式BibTeX公司 XML格式引用 \textit{P.Yang}等人，Lect。注释计算。科学。10419、170--186（2017年；Zbl 1494.68184） 全文： 内政部 arXiv公司