Concurrency Representation

Concurrency Representation is a formal model that specifies how multiple simultaneous actions are structured and related within a unified action framework, distinguishing itself by explicitly encoding temporal and causal dependencies among co-occurring actions.

99

Publications

5.1K

Citations

188

Authors

89

Institutions

Publications per year

2017–2026

1

Authors

188

  1. GW
    Glynn Winskel

    University of Cambridge, United Kingdom

    6 publications · 137 citations

    6

    h-index

  2. JM
    Janice M. Stone

    IBM (United States), United States

    4 publications · 103 citations

    4

    h-index

  3. TA
    Thomas A. Henzinger

    University of California, Berkeley, United States

    3 publications · 719 citations

    3

    h-index

  4. MN
    Mogens Nielsen

    Aarhus University, Denmark

    3 publications · 81 citations

    3

    h-index

  5. DP
    Dumitru Potop‐Butucaru

    Institut national de recherche en sciences et technologies du numérique, France

    2 publications · 76 citations

    2

    h-index

1–5 of 188

Venues

  1. 3

    h-index

  2. Fundamenta Informaticae

    2 publications · 34 citations

    2

    h-index

  3. National Conference on Artificial Intelligence

    Conference · 2 publications · 84 citations

    2

    h-index

  4. Journal of Functional Programming

    2 publications · 96 citations

    2

    h-index

  5. Principles of Knowledge Representation and Reasoning

    Conference · 2 publications · 42 citations

    2

    h-index

1–5