On locality and the exchange law for concurrent processes
CAR Hoare, A Hussain, B Möller, PW O'Hearn… - … CONCUR 2011, Aachen …, 2011 - Springer
CONCUR 2011–Concurrency Theory: 22nd International Conference, CONCUR 2011 …, 2011•Springer
This paper studies algebraic models for concurrency, in light of recent work on Concurrent
Kleene Algebra and Separation Logic. It establishes a strong connection between the
Concurrency and Frame Rules of Separation Logic and a variant of the exchange law of
Category Theory. We investigate 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 …
Kleene Algebra and Separation Logic. It establishes a strong connection between the
Concurrency and Frame Rules of Separation Logic and a variant of the exchange law of
Category Theory. We investigate 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 …
Abstract
This paper studies algebraic models for concurrency, in light of recent work on Concurrent Kleene Algebra and Separation Logic. It establishes a strong connection between the Concurrency and Frame Rules of Separation Logic and a variant of the exchange law of Category Theory. We investigate 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.
Springer
以上显示的是最相近的搜索结果。 查看全部搜索结果