科恩、本;马丁·埃斯卡多;克劳斯·凯梅尔 稳定紧致空间上的扩展概率幂域monad。（扩展摘要）。 （英文） Zbl 1178.68328号 蔡金毅（主编）等，计算模型的理论与应用。第三届国际会议，TAMC 2006，中国北京，2006年5月15日至20日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-34021-1/pbk）。计算机科学课堂讲稿3959566-575（2006）。 概要：对于编程中概率特征的语义，主要使用两种方法来构建模型。一个是度量空间上Borel概率测度的Giry单子，另一个是Jones的概率幂域单子[C.琼斯概率非决定论。爱丁堡大学博士论文（1990年）]，基于dcpos（定向完全偏序）。本文将自己置于第二个领域——理论传统。概率幂域单子在连续域上有很好的理解。在这种情况下，单子的代数可以用方程理论来描述。本文的目的是获得稳定紧空间上（扩展的）概率幂域单子的类似结果。我们主要想确定这个幂域单子的代数和代数同态。关于整个系列，请参见[Zbl 1102.68004号]. 引用于5文件 MSC公司： 68问题55 计算理论中的语义学 PDF格式BibTeX公司 XML格式引用 \textit{B.Cohen}等人，Lect。票据计算。科学。3959566--575（2006年；Zbl 1178.68328） 全文： DOI程序