Výsledky vyhľadávania - 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ískať 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ískať 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ískať plný text