Concepedia

Concurrency Theory

Concurrency Theory is a formal framework within theoretical computer science that models and analyzes systems exhibiting parallelism and interleaving behaviors, distinguishing itself by its focus on the dynamic interaction, synchronization, and causal relationships among concurrent processes, particularly through mathematical structures such as Petri Nets and process algebras.

734

Publications

37.3K

Citations

1.2K

Authors

429

Institutions

Publications per year

2017–2026

37

Parents

Publications

734

Conditional rewriting logic as a unified model of concurrency

José Meseguer · Theoretical Computer Science · 1992 · 1.3K citations

, , +9

The temporal semantics of concurrent programs

Amir Pnueli · Theoretical Computer Science · 1981 · 701 citations

, , +14

A framework for comparing models of computation

Edward A. Lee, Alberto Sangiovanni‐Vincentelli · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1998 · 689 citations

, , +16

Modeling concurrency with partial orders

Vaughan Pratt · International Journal of Parallel Programming · 1986 · 645 citations

, , +10

Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets

C. V. Ramamoorthy, G.S. Ho · IEEE Transactions on Software Engineering · 1980 · 562 citations

, , +15

1–5 of 734

Authors

1.2K

  1. GW
    Glynn Winskel

    University of Cambridge, United Kingdom

    13 publications · 436 citations

    12

    h-index

  2. EA
    Edward A. Lee

    University of California, Berkeley, United States

    12 publications · 1.4K citations

    12

    h-index

  3. UM
    Ugo Montanari

    University of Pisa, Italy

    14 publications · 523 citations

    12

    h-index

  4. RJ
    Ryszard Janicki

    McMaster University, Canada

    12 publications · 252 citations

    12

    h-index

  5. MN
    Mogens Nielsen

    Aarhus University, Denmark

    9 publications · 192 citations

    9

    h-index

1–5 of 1.2K

Institutions

429

  1. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    16 h-index

    38 publications

    2K citations

  2. University of Pisa

    Pisa, Italy

    15 h-index

    26 publications

    1.5K citations

  3. Stanford University

    Stanford, United States

    14 h-index

    18 publications

    3.2K citations

  4. University of California, Berkeley

    Berkeley, United States

    13 h-index

    26 publications

    3.5K citations

  5. Aarhus University

    Aarhus, Denmark

    13 h-index

    28 publications

    819 citations

  6. Newcastle University

    Newcastle upon Tyne, United Kingdom

    12 h-index

    13 publications

    329 citations

  7. Centre National de la Recherche Scientifique

    Paris, France

    11 h-index

    20 publications

    1.1K citations

  8. University of Bologna

    Bologna, Italy

    11 h-index

    18 publications

    1.1K citations

1–8 of 429

Venues

  1. Theoretical Computer Science

    42 publications · 5K citations

    23

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 29 publications · 806 citations

    19

    h-index

  3. Mathematical Structures in Computer Science

    MSCS · 14 publications · 564 citations

    13

    h-index

  4. ACM SIGPLAN Notices

    18 publications · 585 citations

    13

    h-index

  5. Fundamenta Informaticae

    21 publications · 1K citations

    13

    h-index

1–5