Concepedia

Communicating Sequential Processes

Communicating Sequential Processes is a formal process algebra that specifies concurrent systems by modeling computation as processes that interact exclusively through synchronous message passing.

356

Publications

27.4K

Citations

597

Authors

285

Institutions

Publications per year

2017–2026

18

Parents

Publications

356

Communicating sequential processes

C. A. R. Hoare · Communications of the ACM · 1983 · 3.8K citations · Full text

, , +16

Communicating sequential processes

C. A. R. Hoare · Communications of the ACM · 1978 · 3.5K citations · Full text

, , +16

A calculus of mobile processes, I

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

, , +10

Self-stabilizing systems in spite of distributed control

Edsger W. Dijkstra · Communications of the ACM · 1974 · 2.1K citations · Full text

, , +17

A calculus of mobile processes, II

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

, , +11

1–5 of 356

Authors

597

  1. JB
    J.A. Bergstra

    University of Amsterdam, Netherlands

    10 publications · 444 citations

    10

    h-index

  2. JW
    Jan Willem Klop

    University of Amsterdam, Netherlands

    8 publications · 369 citations

    8

    h-index

  3. CA
    C. A. R. Hoare

    University of Oxford, United Kingdom

    8 publications · 1.8K citations

    8

    h-index

  4. PH
    Peter H. Welch

    University of Kent, United Kingdom

    6 publications · 130 citations

    6

    h-index

  5. JF
    Jan Friso Groote

    Eindhoven University of Technology, Netherlands

    5 publications · 145 citations

    5

    h-index

1–5 of 597

Institutions

285

  1. University of Oxford

    Oxford, United Kingdom

    13 h-index

    26 publications

    1.5K citations

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

    Le Chesnay-Rocquencourt, France

    10 h-index

    14 publications

    1.4K citations

  3. University of California, Berkeley

    Berkeley, United States

    9 h-index

    21 publications

    4.9K citations

  4. The University of Texas at Austin

    Austin, United States

    8 h-index

    14 publications

    1.9K citations

  5. University of Edinburgh

    Edinburgh, United Kingdom

    8 h-index

    12 publications

    5.2K citations

  6. Aarhus University

    Aarhus, Denmark

    8 h-index

    15 publications

    498 citations

  7. Oxford Research Group

    London, United Kingdom

    7 h-index

    9 publications

    3.4K citations

  8. University of Amsterdam

    Amsterdam, The Netherlands

    7 h-index

    11 publications

    688 citations

1–8 of 285

Venues

  1. Theoretical Computer Science

    20 publications · 936 citations

    16

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 18 publications · 446 citations

    14

    h-index

  3. IEEE Transactions on Software Engineering

    TSE · 12 publications · 1.1K citations

    12

    h-index

  4. 10

    h-index

  5. Acta Informatica

    9 publications · 1.4K citations

    9

    h-index

1–5