亚历山大，迈克尔（编辑）;威廉·加德纳（编辑） 并行和分布式处理的进程代数。 （英语） Zbl 1155.68003号 查普曼和霍尔/CRC计算科学系列佛罗里达州博卡拉顿：CRC pRESS（ISBN 978-1-4200-6486-5/hbk；978-1-42002-6487-2/电子书）。第二十二章，第415页。(2009). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。索引文章：库马尔·克里斯托弗·阿南德；沃尔夫拉姆·卡尔，合成并验证嵌套代码图类别中的多核并行性，3-45[Zbl 1172.68403号]Loidl，Hans-Wolfgang；菲尔·特林德；凯文·哈蒙德；阿卜杜拉·扎因；克莱姆·贝克·芬奇，纯函数风格的半显式并行编程：GpH，47-76[Zbl 1171.68417号]弗雷德里克·德格伦德；塞雷，凯萨，并行算法的改进，77-96[Zbl 1171.68854号]格罗特，扬·弗里索；Aad Mathijssen；米歇尔·雷尼尔斯（Michel A.Reniers）。；亚罗斯拉夫·乌森科。；蒙克·范·维尔登堡，mCRL2分布式系统分析，99-128[Zbl 1171.68400号]乌韦·内斯特曼；弗兰克·普尔曼，业务流程规范和分析，129-160[兹比尔1171.68576]纳尔逊·苏托罗莎，中间件系统的行为规范，161-198[Zbl 1171.68426号]波利诺，赫维，面向服务的移动抽象机，199-234[Zbl 1171.68577号]安德鲁·菲利普斯，指定和实施安全移动应用程序，235-283[Zbl 1171.68578号]阿利斯泰尔·麦克尤恩（Alistair A.McEwan）。，使用Circus计算并发性，287-329[Zbl 1171.68401号]穆萨维、穆罕默德·雷扎；米歇尔·雷尼尔斯（Michel A.Reniers）。；Twan Basten；米歇尔·乔德隆，PARS：资源和调度程序的进程代数方法，331-358[Zbl 1171.68575号]塞尔吉奥·尤文；伊斯梅尔·阿萨亚德；Francois-Xavier，Defaut；马塞洛·赞科尼；阿南达·巴苏，衍生软件产品线中并发实现的形式化方法，359-401[Zbl 1171.68427号] MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 64岁以下 分布式系统 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 00B15号机组 杂项特定利益物品的收集 软件：柔性CC2;IF-2.0型 PDF格式BibTeX公司 XML格式引用 \textit{M.Alexander}（编辑）和\textit{W.Gardner}（主编），并行和分布式处理的进程代数。佛罗里达州博卡拉顿：CRC pRESS（2009；Zbl 1155.68003） 全文： 内政部