Concepedia

Concurrent Semantics

Concurrent Semantics is a formal system that specifies the meaning of concurrent computations by defining the observable behaviors and interactions of concurrently executing processes, distinguishing it from sequential semantics through its treatment of time, interleaving, and synchronization.

333

Publications

19K

Citations

552

Authors

241

Institutions

Publications per year

2017–2026

15

Parents

Publications

333

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

The temporal semantics of concurrent programs

Amir Pnueli · Theoretical Computer Science · 1981 · 701 citations

, , +14

Concurrent Program Schemes and their Interpretations

Antoni Mazurkiewicz · DAIMI Report Series · 1977 · 570 citations · Full text

, , +15

The reflexive CHAM and the join-calculus

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

, , +12

1–5 of 333

Authors

552

  1. GW
    Glynn Winskel

    University of Cambridge, United Kingdom

    10 publications · 224 citations

    10

    h-index

  2. JW
    J. W. de Bakker

    Vrije Universiteit Amsterdam, Netherlands

    7 publications · 184 citations

    7

    h-index

  3. SC
    Simon Castellan

    Laboratoire de l'Informatique du Parallélisme, France

    7 publications · 142 citations

    7

    h-index

  4. MH
    Matthew Hennessy

    University of Sussex, United Kingdom

    7 publications · 1.7K citations

    7

    h-index

  5. ES
    Ehud Shapiro

    Weizmann Institute of Science, Israel

    6 publications · 306 citations

    6

    h-index

1–5 of 552

Institutions

241

  1. University of Pisa

    Pisa, Italy

    14 h-index

    24 publications

    1.1K citations

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

    Le Chesnay-Rocquencourt, France

    14 h-index

    21 publications

    1.8K citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    13 h-index

    26 publications

    1.3K citations

  4. University of Cambridge

    Cambridge, United Kingdom

    13 h-index

    27 publications

    1K citations

  5. Imperial College London

    London, United Kingdom

    12 h-index

    16 publications

    697 citations

  6. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    11 h-index

    12 publications

    522 citations

  7. Université Paris Cité

    Paris, France

    10 h-index

    14 publications

    424 citations

  8. Aarhus University

    Aarhus, Denmark

    10 h-index

    17 publications

    1.2K citations

1–8 of 241

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 28 publications · 799 citations

    18

    h-index

  2. Theoretical Computer Science

    15 publications · 1.1K citations

    13

    h-index

  3. Fundamenta Informaticae

    11 publications · 372 citations

    11

    h-index

  4. ACM SIGPLAN Notices

    10 publications · 226 citations

    10

    h-index

  5. Mathematical Structures in Computer Science

    MSCS · 8 publications · 253 citations

    8

    h-index

1–5