Concepedia

Concurrency Logic

Concurrency Logic is a formal logical system that extends temporal or modal logic with operators and axioms specifically designed to reason about the correctness, synchronization, and interleaving behavior of concurrent processes within a shared execution environment.

123

Publications

8.4K

Citations

219

Authors

109

Institutions

Publications per year

2017–2026

11

Parents

Publications

123

“Sometimes” and “not never” revisited

E. Allen Emerson, Joseph Y. Halpern · Journal of the ACM · 1986 · 996 citations · Full text

, , +14

The temporal semantics of concurrent programs

Amir Pnueli · Theoretical Computer Science · 1981 · 701 citations

, , +14

A modal process logic

Kim G. Larsen, Bent Thomsen · 2003 · 469 citations

, , +13

The reflexive CHAM and the join-calculus

Cédric Fournet, Georges Gonthier · 1996 · 453 citations · Full text

, , +12

Iris from the ground up: A modular foundation for higher-order concurrent separation logic

Ralf Jung, Robbert Krebbers, Jacques-Henri Jourdan et al. · Journal of Functional Programming · 2018 · 368 citations · Full text

, , +16

1–5 of 123

Authors

219

  1. LB
    Lars Birkedal

    Aarhus University, Denmark

    8 publications · 720 citations

    8

    h-index

  2. DD
    Derek Dreyer

    Max Planck Institute for Software Systems, Germany

    6 publications · 721 citations

    6

    h-index

  3. RK
    Robbert Krebbers

    Radboud University Nijmegen, Netherlands

    4 publications · 516 citations

    5

    h-index

  4. RJ
    Ralf Jung

    Max Planck Institute for Software Systems, Germany

    4 publications · 557 citations

    4

    h-index

  5. LC
    Luı́s Caires

    Microsoft Research (United Kingdom), United Kingdom

    4 publications · 405 citations

    4

    h-index

1–5 of 219

Institutions

109

  1. Aarhus University

    Aarhus, Denmark

    9 h-index

    15 publications

    1.3K citations

  2. Max Planck Institute for Software Systems

    Saarbrücken, Germany

    9 h-index

    19 publications

    2.2K citations

  3. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    5 h-index

    5 publications

    375 citations

  4. Imperial College London

    London, United Kingdom

    5 h-index

    8 publications

    831 citations

  5. Carnegie Mellon University

    Pittsburgh, United States

    5 h-index

    8 publications

    339 citations

  6. Microsoft (United States)

    Redmond, United States

    4 h-index

    4 publications

    346 citations

  7. Palo Alto Research Center

    Palo Alto, United States

    4 h-index

    9 publications

    256 citations

  8. Queen Mary University of London

    London, United Kingdom

    4 h-index

    5 publications

    619 citations

1–8 of 109

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 9 publications · 261 citations

    9

    h-index

  2. Proceedings of the ACM on Programming Languages

    PACMPL · 5 publications · 147 citations

    6

    h-index

  3. Theoretical Computer Science

    5 publications · 854 citations

    5

    h-index

  4. ACM SIGPLAN Notices

    5 publications · 122 citations

    5

    h-index

  5. Journal of the ACM

    JACM · 3 publications · 1.2K citations

    3

    h-index

1–5