帕南加登，普拉卡什（编辑）;弗兰克·范·布鲁格尔（编辑） [J.J.M.M.鲁顿。;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克] 用于分析并发和概率系统的数学技术。 （英语） Zbl 1069.68074号 CRM专题系列23.普罗维登斯，RI：美国数学学会（AMS）（ISBN 0-8218-3571-8/hbk）。viii，215页。(2004). 本卷的文章不会单独编入索引。这本书由两套课堂讲稿组成，专门讨论并发计算系统和概率计算系统的稍微不同的分析方法。第一组讲座基于余代数理论的共约原理，发展了流演算（自然数集合的推广）。现在大家都很清楚，代数（用于描述结构）和余代数（用于描绘动力学）之间的相互作用对于理解并发系统至关重要。流和公式微积分之间有一个惊人的类比，让人想起量子微积分中出现的那些。这些讲稿将吸引所有从事并发理论工作的人，也会吸引代数学家和逻辑学家。另一组课堂讲稿侧重于使用模型检查技术自动验证概率系统的方法。这些讲座的独特之处在于涵盖了理论和实践。作者负责一个最成功的概率模型检验实验系统。软件工程师、实时程序员、机器学习研究人员和数值分析师都对这些课堂讲稿感兴趣，他们很可能有兴趣了解标准数值技术是如何在新的环境中使用的。这两套讲座都是解释性的，适用于理论计算机科学的研究生课程，以及对并发和概率计算系统的设计和分析感兴趣的研究数学家。审核人：亚历山德罗·杜西（贝加莫） 引用于19文件 理学硕士： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 60J10型 马尔可夫链（离散状态空间上的离散时间马尔可夫过程） 68卢比 与计算机科学相关的离散数学的一般主题 03G25号 与逻辑相关的其他代数 60J27型 离散状态空间上的连续时间马尔可夫过程 2002年8月 与计算机科学有关的研究展览会（专著、调查文章） 关键词：流演算;造币术;代数;验证;概率系统;马尔可夫链;自动机;机器学习;数值分析 软件：兔子 PDF格式BibTeX公司 XML格式引用 \textit{P.Panangaden}（编辑）和textit{F.van Breugel}（编），分析并发和概率系统的数学技术。普罗维登斯，RI:美国数学学会（AMS）（2004；Zbl 1069.68074） 全文： 内政部