里卡多·布雷西亚尼;安德鲁·巴特菲尔德 从分布到概率反应程序。 (英语) Zbl 1405.68073号 Liu,Zhiming(编辑)等人,《计算的理论方面——ICTAC 2013》。第十届国际学术讨论会,中国上海,2013年9月4-6日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-39717-2/pbk)。计算机科学课堂讲稿804994-111(2013)。 摘要:我们在UTP框架中引入了概率,通过使用从状态空间到实数(我们称之为分布)的函数,这些函数嵌入到描述不同程序结构的谓词中。这使我们能够从关系理论的概率版本出发,推导出设计的概率理论,然后继续沿着这条路走下去,我们可以得到概率反应程序的理论。本文介绍了连接这些步骤的路线,并讨论了基于分布的概率CSP面临的挑战。有关整个系列,请参见[Zbl 1271.68048号]. 引用于1文件 MSC公司: 68号30 软件工程的数学方面(规范、验证、度量、需求等) 87年第68季度 计算机科学中的概率(算法分析、随机结构、相变等) PDF格式BibTeX公司 XML格式引用 \textit{R.布雷西亚尼}和\textit{A.巴特菲尔德},莱克特。注释计算。科学。8049,94-111(2013;Zbl 1405.68073) 全文: 内政部 链接