Developments in concurrent Kleene algebra
Developments in concurrent Kleene algebra
复制标题
DOI：
10.1007/978-3-319-06251-8_1
复制
发表时间：
2014-04
期刊：
影响因子：
--
通讯作者：
T. Hoare;S. Staden;B. Möller;G. Struth;Jules Villard;Huibiao Zhu;P. O'Hearn
中科院分区：
文献类型：
--
作者：
T. Hoare;S. Staden;B. Möller;G. Struth;Jules Villard;Huibiao Zhu;P. O'Hearn
本报告总结了其合著者在构建编程原则的代数表示与现代编程实践中并发性利用之间的联系方面的最新研究进展。研究集中在一个现实的家庭建设的偏序模型的并发Kleene代数（又名，法律的规划）。模型的主要元素是对象和它们参与的事件。更基本的概念是跟踪、错误和失败，以及可转移的所有权。在这些方面，我们可以定义其他的概念，已被证明是有用的推理并发程序，例如因果依赖性和独立性，顺序性和并发性，分配和处置，同步性和同步性，共享和局部性，输入和输出。
This report summarises recent progress in the research of its co-authors towards the construction of links between algebraic presentations of the principles of programming and the exploitation of concurrency in modern programming practice. The research concentrates on the construction of a realistic family of partial order models for Concurrent Kleene Algebra (aka, the Laws of Programming). The main elements of the model are objects and the events in which they engage. Further primitive concepts are traces, errors and failures, and transferrable ownership. In terms of these we can define other concepts which have proved useful in reasoning about concurrent programs, for example causal dependency and independence, sequentiality and concurrency, allocation and disposal, synchrony and asynchrony, sharing and locality, input and output.