TY  - JOUR
A1  - Hoare, C. A. R.
A1  - Hussain, Akbar
A1  - Möller, Bernhard
A1  - O’Hearn, Peter W.
A1  - Lerchedahl Petersen, Rasmus
A1  - Struth, Georg
T1  - On locality and the exchange law for concurrent processes
T2  - Lecture Notes in Computer Science
N2  - This paper studies algebraic models for concurrency, in light of recent work on Concurrent Kleene Algebra and Separation Logic. It clarifies that there is a strong connection between the Concurrency and Frame Rules of Separation Logic and a variants of the excahnge law of Category Theory. The algebraic laws admit two standard models: one uses sets of traces, and the other is state-based, using assertions and weakest preconditions. We relate the latter to standard models of the heap as a partial function. We exploit the power of algebra to unify models and classify their variations.
Y1  - 2011
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/58779
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-587790
SN  - 9783642232169
SN  - 9783642232176
SN  - 0302-9743
SN  - 1611-3349
VL  - 6901
SP  - 250
EP  - 264
PB  - Springer
CY  - Berlin
ER  -