Concepedia

Parallel Program Semantics

Parallel Program Semantics is a formal framework that specifies the computational behavior and interaction rules of concurrently executing processes within a program, distinguishing it from sequential program semantics by accounting for non-determinism, synchronization, and communication among parallel components.

233

Publications

15.8K

Citations

460

Authors

163

Institutions

Publications per year

2017–2026

17

Parents

Publications

233

The Semantics of a Simple Language for Parallel Programming.

Gilles Kahn · IFIP Congress · 1974 · 2.1K citations

, , +14

An axiomatic proof technique for parallel programs I

Susan Owicki, David Gries · Acta Informatica · 1976 · 1K citations

, , +12

Explorations in Parallel Distributed Processing: A Handbook of Models, Programs, and Exercises

Alan H. Kawamoto, James L. McClelland, David E. Rumelhart · The American Journal of Psychology · 1989 · 739 citations

, , +15

Programming semantics for multiprogrammed computations

Jack B. Dennis, Earl C. Van Horn · Communications of the ACM · 1983 · 681 citations · Full text

, , +16

Programming semantics for multiprogrammed computations

Jack B. Dennis, Earl C. Van Horn · Communications of the ACM · 1966 · 557 citations · Full text

, , +16

1–5 of 233

Authors

460

  1. VA
    Vikram Adve

    University of Illinois Urbana-Champaign, United States

    6 publications · 754 citations

    6

    h-index

  2. JA
    Jade Alglave

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

    6 publications · 365 citations

    6

    h-index

  3. RL
    Robert L. Bocchino

    University of Illinois Urbana-Champaign, United States

    5 publications · 723 citations

    5

    h-index

  4. SV
    Sarita V. Adve

    University of Illinois Urbana-Champaign, United States

    4 publications · 695 citations

    4

    h-index

  5. PJ
    Pierre Jouvelot

    École Nationale Supérieure des Mines de Paris, France

    4 publications · 261 citations

    4

    h-index

1–5 of 460

Institutions

163

  1. Carnegie Mellon University

    Pittsburgh, United States

    11 h-index

    16 publications

    1.5K citations

  2. University of Illinois Urbana-Champaign

    Urbana, United States

    10 h-index

    37 publications

    6.5K citations

  3. Massachusetts Institute of Technology

    Cambridge, United States

    9 h-index

    15 publications

    3.7K citations

  4. Stanford University

    Stanford, United States

    9 h-index

    10 publications

    1.3K citations

  5. Imperial College London

    London, United Kingdom

    7 h-index

    10 publications

    691 citations

  6. Indiana University Bloomington

    Bloomington, United States

    5 h-index

    13 publications

    409 citations

  7. Rice University

    Houston, United States

    5 h-index

    19 publications

    659 citations

  8. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    5 h-index

    5 publications

    237 citations

1–8 of 163

Venues

  1. Future Generation Computer Systems

    FGCS · 8 publications · 263 citations

    8

    h-index

  2. Journal of Parallel and Distributed Computing

    8 publications · 262 citations

    8

    h-index

  3. ACM SIGPLAN Notices

    7 publications · 479 citations

    7

    h-index

  4. Parallel Computing

    6 publications · 544 citations

    6

    h-index

  5. Science of Computer Programming

    5 publications · 228 citations

    5

    h-index

1–5