Labelled Markov Processes
Labelled Markov Processes
复制标题
DOI：
10.1142/9781848162891
复制
发表时间：
2009-06
期刊：
影响因子：
--
通讯作者：
P. Panangaden
中科院分区：
文献类型：
--
作者：
P. Panangaden
标号马尔可夫过程是具有连续状态空间的标号转移系统的概率形式。这本书涵盖了连续状态空间上的基本概率和度量理论，然后发展了LMPS理论。主要内容包括互模拟、互模拟的逻辑特征、度量和近似理论。这本书的一个不同寻常的特点是与范畴和领域理论概念建立了联系。
Labelled Markov processes are probabilistic versions of labelled transition systems with continuous state spaces. This book covers basic probability and measure theory on continuous state spaces and then develops the theory of LMPs. The main topics covered are bisimulation, the logical characterization of bisimulation, metrics and approximation theory. An unusual feature of the book is the connection made with categorical and domain theoretic concepts.