Concepedia

Termination Of Concurrent Systems

Termination of Concurrent Systems is a formal analysis method that determines whether a concurrent computational system will invariably reach a final state under all possible execution interleavings.

68

Publications

2.9K

Citations

135

Authors

89

Institutions

Publications per year

2017–2026

5

Parents

Publications

68

Derivation of a termination detection algorithm for distributed computations

Edsger W. Dijkstra, W. H. J. Feijen, A. J. M. van Gasteren · Information Processing Letters · 1983 · 303 citations

, , +11

Algorithms for distributed termination detection

Friedemann Mattern · Distributed Computing · 1987 · 269 citations

, , +8

Distributed Termination

Nissim Francez · ACM Transactions on Programming Languages and Systems · 1980 · 240 citations

, , +13

Termination of Probabilistic Concurrent Program

Sergiu Hart, Micha Sharir, Amir Pnueli · ACM Transactions on Programming Languages and Systems · 1983 · 166 citations · Full text

, , +9

Performance evaluation of concurrent systems using Petri nets

Jan Magott · Information Processing Letters · 1984 · 103 citations

, , +14

1–5 of 68

Authors

135

  1. AP
    Amir Pnueli

    Weizmann Institute of Science, Israel

    3 publications · 217 citations

    3

    h-index

  2. KP
    Kim P. Gostelow

    Jet Propulsion Laboratory, United States

    3 publications · 67 citations

    3

    h-index

  3. BC
    Byron Cook

    Microsoft Research (United Kingdom), United Kingdom

    3 publications · 92 citations

    3

    h-index

  4. NF
    Nissim Francez

    Technion – Israel Institute of Technology, Israel

    3 publications · 343 citations

    3

    h-index

  5. FM
    Friedemann Mattern

    ETH Zurich, Switzerland

    2 publications · 281 citations

    2

    h-index

1–5 of 135

Institutions

89

  1. University of Kaiserslautern

    Kaiserslautern, Germany

    3 h-index

    3 publications

    306 citations

  2. Weizmann Institute of Science

    Rehovot, Israel

    3 h-index

    4 publications

    247 citations

  3. Technion – Israel Institute of Technology

    Haifa, Israel

    3 h-index

    5 publications

    499 citations

  4. University of Bologna

    Bologna, Italy

    3 h-index

    4 publications

    116 citations

  5. Stanford University

    Stanford, United States

    3 h-index

    9 publications

    334 citations

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

    Le Chesnay-Rocquencourt, France

    3 h-index

    3 publications

    61 citations

  7. Indian Institute of Technology Delhi

    New Delhi, India

    3 h-index

    6 publications

    153 citations

  8. Chalmers University of Technology

    Gothenburg, Sweden

    2 h-index

    4 publications

    152 citations

1–8 of 89

Venues

  1. Information Processing Letters

    5 publications · 596 citations

    5

    h-index

  2. Distributed Computing

    3 publications · 294 citations

    3

    h-index

  3. 3

    h-index

  4. Parallel Computing

    2 publications · 55 citations

    2

    h-index

  5. Information and Computation

    2 publications · 60 citations

    2

    h-index

1–5