Suchergebnisse - Dekker’s basic algorithm and variants

Modeling and Analysis of Dekker-Based Mutual Exclusion Algorithms von 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 …”
Volltext

Liveness of a mutex algorithm in a fair process algebra von 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 …”
Volltext

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

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