Concepedia

Progress Guarantees

Progress Guarantees is a theoretical construct in concurrent and distributed computing that ensures at least one process makes progress in a finite number of steps under specified system conditions, despite contention or failures, thereby distinguishing it from deadlock- or starvation-prone synchronization mechanisms.

45

Publications

2K

Citations

90

Authors

49

Institutions

Publications per year

2017–2026

6

Parents

Publications

45

The asynchronous computability theorem for <i>t</i>-resilient tasks

Maurice Herlihy, Nir Shavit · 1993 · 185 citations

, , +16

Global progress for dynamically interleaved multiparty sessions

Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida et al. · Mathematical Structures in Computer Science · 2014 · 127 citations · Full text

, , +8

CAR-STM

Shlomi Dolev, Danny Hendler, Adi Suissa · 2008 · 118 citations

, , +17

A highly-efficient wait-free universal construction

Panagiota Fatourou, Nikolaos D. Kallimanis · 2011 · 112 citations

, , +13

System value and progress of CSP

Paul Gauché, Justine Rudman, Mbalenhle Mabaso et al. · Solar Energy · 2017 · 108 citations

, , +5

1–5 of 45

Authors

90

  1. NK
    Nils Klarlund

    Aarhus University, Denmark

    4 publications · 97 citations

    4

    h-index

  2. RG
    Rachid Guerraoui

    École Polytechnique Fédérale de Lausanne, Switzerland

    4 publications · 162 citations

    4

    h-index

  3. NY
    Nobuko Yoshida

    Imperial College London, United Kingdom

    3 publications · 271 citations

    3

    h-index

  4. FP
    Frank Piessens

    KU Leuven, Belgium

    2 publications · 114 citations

    2

    h-index

  5. JL
    Jennifer L. Welch

    Texas A&M University, United States

    2 publications · 54 citations

    2

    h-index

1–5 of 90

Institutions

49

  1. Microsoft (United States)

    Redmond, United States

    4 h-index

    6 publications

    121 citations

  2. École Polytechnique Fédérale de Lausanne

    Lausanne, Switzerland

    4 h-index

    7 publications

    277 citations

  3. Imperial College London

    London, United Kingdom

    3 h-index

    5 publications

    415 citations

  4. Technion – Israel Institute of Technology

    Haifa, Israel

    3 h-index

    4 publications

    146 citations

  5. Aarhus University

    Aarhus, Denmark

    2 h-index

    2 publications

    65 citations

  6. Chalmers University of Technology

    Gothenburg, Sweden

    2 h-index

    3 publications

    124 citations

  7. University of Utah

    Salt Lake City, United States

    2 h-index

    4 publications

    118 citations

  8. Massachusetts Institute of Technology

    Cambridge, United States

    2 h-index

    2 publications

    54 citations

1–8 of 49

Venues

  1. ACM SIGPLAN Notices

    4 publications · 191 citations

    4

    h-index

  2. arXiv (Cornell University)

    Repository · 2 publications · 62 citations

    2

    h-index

  3. Proceedings of the VLDB Endowment

    PVLDB · 2 publications · 59 citations

    2

    h-index

  4. Annals of Pure and Applied Logic

    1 publications · 52 citations

    1

    h-index

  5. 1

    h-index

1–5