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

  • Zobrazuji výsledky 1 - 3 z 3
Upřesnit hledání
  1. 1

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

    ISSN: 2073-431X, 2073-431X
    Vydáno: Basel MDPI AG 01.06.2024
    Vydáno v Computers (Basel) (01.06.2024)
    “… 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
    Journal Article
  2. 2

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

    ISSN: 0001-5903, 1432-0525
    Vydáno: Berlin/Heidelberg Springer-Verlag 01.05.2009
    Vydáno v Acta informatica (01.05.2009)
    “… 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
    Journal Article
  3. 3

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

    ISSN: 0934-5043, 1433-299X
    Vydáno: London Springer-Verlag 01.03.2008
    Vydáno v Formal aspects of computing (01.03.2008)
    “… To demonstrate the effectiveness of our techniques, a derivation of Dekker’s mutual exclusion algorithm is presented…”
    Získat plný text
    Journal Article