Search Results - Dekker’s basic algorithm and variants

Modeling and Analysis of Dekker-Based Mutual Exclusion Algorithms by Nigro, Libero, Cicirelli, Franco, Pupo, Francesco

“… Dekker and communicated by E.W. Dijkstra. The correctness of this algorithm has generally been studied under the strong memory model, where the read and write operations on a memory cell are atomic or indivisible…”
Get full text

Liveness of a mutex algorithm in a fair process algebra by Corradini, Flavio, Di Berardini, Maria Rita, Vogler, Walter

“… of Dekker’s mutual exclusion algorithm within our process algebraic setting. We also present some results that allow to reduce the state space of the PAFAS process representing…”
Get full text

Streamlining progress-based derivations of concurrent programs by Dongol, Brijesh, Mooij, Arjan J.

“… To demonstrate the effectiveness of our techniques, a derivation of Dekker’s mutual exclusion algorithm is presented…”
Get full text