TY - GEN
T1 - Developments in Concurrent Kleene Algebra
AU - Hoare, Tony
AU - Van Staden, Stephan
AU - Möller, Bernhard
AU - Struth, Georg
AU - Villard, Jules
AU - Zhu, Huibiao
AU - O'Hearn, Peter
PY - 2014
Y1 - 2014
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/84901706250
U2 - 10.1007/978-3-319-06251-8_1
DO - 10.1007/978-3-319-06251-8_1
M3 - 会议稿件
AN - SCOPUS:84901706250
SN - 9783319062501
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 1
EP - 18
BT - Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Proceedings
PB - Springer Verlag
T2 - 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014
Y2 - 28 April 2014 through 1 May 2014
ER -