卡罗尔·摩根 概率wp和CSP——以及成分。 （英语） Zbl 1081.68651号 Abdallah，Ali E.（编辑）等人，《通信顺序过程》。前25年。2004年7月7日至8日，在英国伦敦举行的CSP 25周年研讨会。修订受邀论文。柏林：施普林格出版社（ISBN 3-540-25813-2/pbk）。计算机科学课堂讲稿3525220-241（2005）。 摘要：我们将概率动作系统和概率CSP联系起来，归纳出后者的概率轨迹、故障和发散的健康条件。pGCL的概率顺序语义被“插入”在动作系统和CSP之间现有但非概率的链接之下。因此，早期产生经典CSP健康条件的链接被诱导产生“免费”的概率版本。尽管概率并发多年来受到了大量研究人员（包括我们自己）的关注，但我们仍然希望通过结合CSP和pGCL这两种方法获得新的见解。然而，与此同时，我们提出的问题可能比回答的更多：尤其是合成性问题——目前——仍然像以往一样微妙。关于整个系列，请参见[Zbl 1073.68002号]. 引用于三文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 软件：csp2B型 PDF格式BibTeX公司 XML格式引用 \textit{C.Morgan}，莱克特。注释计算。科学。3525、220--241（2005；Zbl 1081.68651） 全文： 内政部