Výsledky vyhledávání - Dekker’s basic algorithm and variants

Modeling and Analysis of Dekker-Based Mutual Exclusion Algorithms Autor 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…”
Získat plný text

Liveness of a mutex algorithm in a fair process algebra Autor 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…”
Získat plný text

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

“… To demonstrate the effectiveness of our techniques, a derivation of Dekker’s mutual exclusion algorithm is presented…”
Získat plný text