你好，托尼；范·斯塔登（Stephan van Staden）；伯恩哈德·莫勒；乔治·斯特鲁斯；朱尔斯·维拉德；朱慧彪；彼得·奥赫恩 并发Kleene代数的发展。 （英语） Zbl 1344.68148号 Höfner，Peter（编辑）等人，《计算机科学中的关系和代数方法》。2014年4月28日至5月1日，第14届国际会议，RAMiCS 2014，德国Marienstat。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-06250-1/pbk）。计算机科学课堂讲稿8428，1-18（2014）。 摘要：本报告总结了合作者在构建编程原理的代数表示与现代编程实践中并发性利用之间的联系方面的最新研究进展。该研究集中于为并发Kleene代数（又称编程定律）构建一个现实的偏序模型族。模型的主要元素是对象及其参与的事件。进一步的基本概念是跟踪、错误和失败以及可转移的所有权。根据这些，我们可以定义其他被证明在并发程序推理中有用的概念，例如因果依赖性和独立性、顺序性和并发性、分配和处理、同步性和异步性、共享和局部性、输入和输出。关于整个系列，请参见[Zbl 1284.68016号]. 引用于6文件 MSC公司： 70年第68季度 语言代数理论与自动机 68号30 软件工程的数学方面（规范、验证、度量、需求等） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}等人，Lect。注释计算。科学。8428，1-18（2014；Zbl 1344.68148） 全文： 内政部 链接