Resource Allocation Graphs

Resource Allocation Graphs is a formal directed graph model used in concurrency analysis to represent the allocation and request relationships between processes and resources, where nodes denote processes and resource types, and edges indicate resource allocations or pending requests, enabling the detection of deadlock states through cycle analysis.

3

Publications

91

Citations

11

Authors

6

Institutions

Publications per year

2017–2026

0

Authors

11

  1. DM
    Domingo Mery

    Pontificia Universidad Católica de Chile, Chile

    1 publications · 34 citations

    1

    h-index

  2. SL
    Sangkyun Lee

    TU Dortmund University, Germany

    1 publications · 27 citations

    1

    h-index

  3. NP
    Nico Piatkowski

    TU Dortmund University, Germany

    1 publications · 27 citations

    1

    h-index

  4. SM
    Syed M. A. H. Jafri

    KTH Royal Institute of Technology, Sweden

    1 publications · 30 citations

    1

    h-index

  5. MA
    Muhammad Adeel Tajammul

    KTH Royal Institute of Technology, Sweden

    1 publications · 30 citations

    1

    h-index

1–5 of 11

Venues

  1. Neurocomputing

    1 publications · 27 citations

    1

    h-index

  2. Journal of Logic and Computation

    1 publications · 34 citations

    1

    h-index

1–2