Ernst-Erich Doberkat 随机关系。马尔可夫转移系统的基础。 （英语） Zbl 1137.60002号 查普曼和霍尔/CRC信息学研究系列。佛罗里达州博卡拉顿：查普曼和霍尔/CRC（ISBN 978-1-58488-941-0/hbk；978-1-5888-942-7/电子书）。第二十三、345页。（2007年）。 这本书发展了随机关系理论，作为马尔可夫转移系统的基础。研究了同余和语素等中心主题，并将其应用于单音节结构。在此框架内定义并研究了双相似性和行为等效性；从子可能性函子提供的上下文来看余代数一般理论的发展。使用这些工具可以看出，对于一般模态逻辑和带有或不带不动点算子的连续时间随机逻辑，其双相似性、行为和逻辑等价性是相同的。本书首先从拓扑、测量理论和类别对基本数学工具进行了广泛而温和的介绍。进一步的章节是：作为单子的随机关系，随机关系的Eilenberg-Moore代数，半拉回的存在，同余和互模拟，解释模态逻辑和时序逻辑。这本书包含许多问题和几个案例研究。审核人：Jörg Desel（艾希斯特） 引用于28文件 MSC公司： 60-02 概率论相关研究综述（专著、调查文章） 60J99型 马尔可夫过程 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：随机关系;Eilenberg-Moore代数;马尔可夫转移系统 PDF格式BibTeX公司 XML格式引用 \textit{E.-E.Doberkat}，随机关系。马尔可夫转移系统的基础。佛罗里达州博卡拉顿：查普曼和霍尔/CRC（2007；Zbl 1137.60002） 全文： 内政部