| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
On the Impossibility of Detecting Concurrency
Abstract : We identify a general principle of distributed computing: one cannot force two processes running in parallel to see each other. This principle is formally stated in the context of asynchronous processes communicating through shared objects, using trace-based semantics. We prove that it holds in a reasonable computational model, and then study the class of concurrent specifications which satisfy this property. This allows us to derive a Galois connection theorem for different variants of linearizability.
Cited literature [11 references]
https://hal.inria.fr/hal-02155495
Contributor : Samuel Mimram Connect in order to contact the contributor
Submitted on : Thursday, June 13, 2019 - 4:08:29 PM
Last modification on : Saturday, June 15, 2019 - 1:17:57 AM
Contributor : Samuel Mimram Connect in order to contact the contributor
Submitted on : Thursday, June 13, 2019 - 4:08:29 PM
Last modification on : Saturday, June 15, 2019 - 1:17:57 AM
File
LIPIcs-DISC-2018-50.pdf
Files produced by the author(s)