Concepedia

Concurrency Semantics

Concurrency Semantics is a formal framework within programming language theory that specifies the meaning of concurrent computations by defining how the behaviors of parallel processes interact, synchronize, and communicate through shared resources or message passing.

840

Publications

46.1K

Citations

1.4K

Authors

458

Institutions

Publications per year

2017–2026

69

Parents

Publications

840

Linearizability: a correctness condition for concurrent objects

Maurice Herlihy, Jeannette M. Wing · ACM Transactions on Programming Languages and Systems · 1990 · 3.2K citations · Full text

, , +16

Algebraic laws for nondeterminism and concurrency

Matthew Hennessy, Robin Milner · Journal of the ACM · 1985 · 1.4K citations

, , +15

Conditional rewriting logic as a unified model of concurrency

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

, , +9

Concurrency control in groupware systems

Colter Ellis, S. Gibbs · ACM SIGMOD Record · 1989 · 867 citations

, , +17

The formal semantics of programming languages: an introduction

Choice Reviews Online · 1993 · 750 citations

, , +16

1–5 of 840

Authors

1.4K

  1. VV
    Viktor Vafeiadis

    Max Planck Institute for Software Systems, Germany

    12 publications · 768 citations

    12

    h-index

  2. WE
    William E. Weihl

    Massachusetts Institute of Technology, United States

    12 publications · 968 citations

    11

    h-index

  3. GW
    Glynn Winskel

    University of Cambridge, United Kingdom

    11 publications · 249 citations

    11

    h-index

  4. CP
    Catuscia Palamidessi

    Laboratoire d'Informatique de l'École Polytechnique, France

    10 publications · 271 citations

    10

    h-index

  5. JW
    J. W. de Bakker

    Vrije Universiteit Amsterdam, Netherlands

    11 publications · 521 citations

    10

    h-index

1–5 of 1.4K

Institutions

458

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

    Le Chesnay-Rocquencourt, France

    21 h-index

    55 publications

    3.2K citations

  2. Carnegie Mellon University

    Pittsburgh, United States

    20 h-index

    34 publications

    8.2K citations

  3. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    20 h-index

    35 publications

    2K citations

  4. University of Cambridge

    Cambridge, United Kingdom

    19 h-index

    59 publications

    3.2K citations

  5. Microsoft (United States)

    Redmond, United States

    16 h-index

    28 publications

    1.9K citations

  6. Max Planck Institute for Software Systems

    Saarbrücken, Germany

    15 h-index

    31 publications

    2.9K citations

  7. University of Pisa

    Pisa, Italy

    15 h-index

    34 publications

    1.3K citations

  8. Centre National de la Recherche Scientifique

    Paris, France

    15 h-index

    30 publications

    1.5K citations

1–8 of 458

Venues

  1. ACM SIGPLAN Notices

    40 publications · 1.2K citations

    20

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 41 publications · 992 citations

    19

    h-index

  3. Theoretical Computer Science

    27 publications · 3.5K citations

    18

    h-index

  4. Proceedings of the ACM on Programming Languages

    PACMPL · 21 publications · 679 citations

    16

    h-index

  5. 15

    h-index

1–5