乔治·巴奇；乔瓦尼·巴奇；Larsen，Kim G。；拉杜·马达尔 马尔可夫链上双相似距离的完全公理化。 （英语） Zbl 1392.68282号 Desharnais，Josée（编辑）等人，第27届并发理论国际会议，CONCUR 2016，加拿大魁北克市，2016年8月23日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-017-0）。LIPIcs–莱布尼茨国际信息学学报59，第21条，第14页（2016年）。 小结：在本文中，我们提出了一个完整的双相似距离公理化J.德沙奈斯等人【Theor.Compute.Sci.318，No.3，323–354（2004；Zbl 1068.68093号)]对于有限标记马尔可夫链类。我们的公理化是以最近由R.马尔代尔等[摘自：2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS。纽约州纽约市：计算机协会（ACM）。700–709 (2016;Zbl 1391.68021号)]它使用由有理数索引的等式关系，表示“（t）在误差范围内近似等于（s）”。值得注意的是，我们的定量演绎系统通过引入处理概率分布之间的Kantorovich距离的公理，以自然的方式扩展了Stark和Smolka给出的概率双相似性方程系统。关于整个系列，请参见[Zbl 1351.68014号]. 引用于1审查引用于4文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 03B70号 计算机科学中的逻辑 60J10型 马尔可夫链（离散状态空间上的离散时间马尔可夫过程） 87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等） 关键词：马尔可夫链；行为距离；公理化 引文：Zbl 1068.68093号；Zbl 1391.68021号 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人，LIPIcs——莱布尼茨国际程序。通知。59，第21条，第14页（2016年；Zbl 1392.68282） 全文： 内政部