TY  - JOUR
A1  - Hoare, Tony
A1  - van Staden, Stephan
A1  - Möller, Bernhard
A1  - Struth, Georg
A1  - Villard, Jules
A1  - Zhu, Huibiao
A1  - O’Hearn, Peter
T1  - Developments in Concurrent Kleene Algebra
T2  - Lecture Notes in Computer Science
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.
Y1  - 2014
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/58728
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-587281
SN  - 9783319062501
SN  - 9783319062518
SN  - 0302-9743
SN  - 1611-3349
VL  - 8428
SP  - 1
EP  - 18
PB  - Springer International
CY  - Cham
ER  -