弗雷德里克·德格伦德;塞雷,凯萨 改进并行算法。 (英语) 兹比尔1171.68854 Alexander,Michael(编辑)等人,《并行和分布式处理的进程代数》。佛罗里达州博卡拉顿:CRC pRESS(ISBN 978-1-4200-6486-5/hbk)。查普曼和霍尔/CRC计算科学系列,77-96(2009)。 摘要:我们从描述并行程序的精化演算开始,并为此定义一个规范和编程语言。然后,我们描述了一种编程方法以及一组用于设计并行算法的转换规则。我们通过推导整数分解的并行算法来说明该方法。我们以一些结束语结束。关于整个系列,请参见[Zbl 1155.68003号]. MSC公司: 68宽10 计算机科学中的并行算法 68甲19 其他编程范例(面向对象、顺序、并发、自动等) 关键词:并行程序的精化演算 PDF格式BibTeX公司 XML格式引用 \textit{F.Degerlund}和\textit{K.Sere},in:并行和分布式处理的进程代数。佛罗里达州博卡拉顿:CRC pRESS。77-96(2009年;Zbl 1171.68854)