×

标记马尔可夫系统的度量。 (英语) Zbl 0939.68081号

Baeten,Jos C.M.(编辑)等人,CONCUR’99。并发理论。第十届国际会议,荷兰埃因霍温,1999年8月24日至27日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1664, 258-273 (1999).
部分标记马尔可夫链(plMc)是过程代数和传统马尔可夫链式的推广。它们为相互作用的离散概率系统提供了基础。现有的过程等价性概念对plMc中转换的准确概率过于敏感。本文研究了plMc之间“近似”等价的更稳健的概念。
关于整个系列,请参见[Zbl 0921.00028号].

MSC公司:

68问题85 并发和分布式计算的模型和方法(过程代数、互模拟、转换网等)
PDF格式BibTeX公司 XML格式引用