Concepedia

Process Calculus

Process Calculus is a formal mathematical framework within process algebra that specifies the behavior and interaction of concurrent systems through a symbolic language and operational semantics.

286

Publications

18.2K

Citations

386

Authors

195

Institutions

Publications per year

2017–2026

13

Parents

Publications

286

A calculus of mobile processes, I

Robin Milner, Joachim Parrow, David Walker · Information and Computation · 1992 · 2.8K citations · Full text

, , +10

A calculus of mobile processes, II

Robin Milner, Joachim Parrow, David Walker · Information and Computation · 1992 · 1.7K citations · Full text

, , +11

The chemical abstract machine

Gérard Berry, Gérard Boudol · Theoretical Computer Science · 1992 · 817 citations

, , +16

The reflexive CHAM and the join-calculus

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

, , +12

Representation and simulation of biochemical processes using the π-calculus process algebra

Aviv Regev, William B. Silverman, Ehud Shapiro · 2000 · 424 citations

, , +13

1–5 of 286

Authors

386

  1. DS
    Davide Sangiorgi

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

    15 publications · 1.5K citations

    15

    h-index

  2. MH
    Matthew Hennessy

    University of Sussex, United Kingdom

    8 publications · 379 citations

    8

    h-index

  3. HH
    Hans Hüttel

    Aalborg University, Denmark

    8 publications · 275 citations

    8

    h-index

  4. UM
    Ugo Montanari

    University of Pisa, Italy

    7 publications · 371 citations

    7

    h-index

  5. GW
    Glynn Winskel

    University of Cambridge, United Kingdom

    5 publications · 165 citations

    5

    h-index

1–5 of 386

Institutions

195

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

    Le Chesnay-Rocquencourt, France

    20 h-index

    33 publications

    3.6K citations

  2. University of Bologna

    Bologna, Italy

    11 h-index

    24 publications

    1.2K citations

  3. University of Pisa

    Pisa, Italy

    11 h-index

    23 publications

    1.1K citations

  4. University of Cambridge

    Cambridge, United Kingdom

    10 h-index

    14 publications

    774 citations

  5. Aalborg University

    Aalborg, Denmark

    10 h-index

    13 publications

    389 citations

  6. University of Edinburgh

    Edinburgh, United Kingdom

    10 h-index

    14 publications

    5.2K citations

  7. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    9 h-index

    11 publications

    514 citations

  8. Centre National de la Recherche Scientifique

    Paris, France

    9 h-index

    9 publications

    726 citations

1–8 of 195

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 40 publications · 1.1K citations

    18

    h-index

  2. Theoretical Computer Science

    13 publications · 1.5K citations

    13

    h-index

  3. Information and Computation

    11 publications · 5.1K citations

    11

    h-index

  4. Mathematical Structures in Computer Science

    MSCS · 11 publications · 720 citations

    11

    h-index

  5. BRICS Report Series

    7 publications · 166 citations

    7

    h-index

1–5