托马斯·吉文·威尔森;丹尼尔·戈拉;杰伊，巴里 并发模式演算。 （英语） Zbl 1198.68211号 Calude，Christian S.（编辑）等人，《理论计算机科学》。第六届IFIP工作组2.2国际会议，TCS 2010，作为世界计算机大会（WCC 2010）的一部分，于2010年9月20日至23日在澳大利亚布里斯班举行。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15239-9/hbk；978-3-442-15240-5/电子书）。IFIP《信息和通信技术进展》323244-258（2010）。 概要：并发模式演算通过统一模式来驱动进程之间的交互，就像序列模式演算根据数据结构匹配模式来驱动计算一样。通过从模式匹配推广到统一，交互变得对称，信息双向流动。这为描述任何形式的交换或贸易提供了一种自然语言。许多流行的进程演算可以用并发模式演算进行编码。关于整个系列，请参见[Zbl 1200.68003号]. 引用于5文件 MSC公司： 68吨10 模式识别、语音识别 68第05页 数据结构 关键词：模式匹配 PDF格式BibTeX公司 XML格式引用 \textit{T.Given-Wilson}等人，IFIP高级信息通信。Technol公司。323244-258（2010年；Zbl 1198.68211） 全文： 内政部