Concepedia

Finite-state Processes

Finite-State Processes is a process algebraic model characterized by a finite number of discrete states and transitions between them, distinguished from other computational models by its restriction to finite state spaces and its formalization of concurrent behaviors through algebraic operations.

884

Publications

58.7K

Citations

1.5K

Authors

600

Institutions

Publications per year

2017–2026

67

Variants

Fsp

Parents

Publications

884

Supervisory Control of a Class of Discrete Event Processes

Peter J. Ramadge, W.M. Wonham · SIAM Journal on Control and Optimization · 1987 · 3.3K citations

, , +16

Efficient string matching

Alfred V. Aho, Margaret J. Corasick · Communications of the ACM · 1975 · 2.9K citations · Full text

, , +13

Finite-state Markov channel-a useful model for radio communication channels

Hong Shen Wang, Nader Moayeri · IEEE Transactions on Vehicular Technology · 1995 · 1.7K citations

, , +16

Synchronization and Linearity: An Algebra for Discrete Event Systems

Charles Leake · Journal of the Operational Research Society · 1994 · 1.3K citations

, , +9

A Theory of Communicating Sequential Processes

Stephen Brookes, C. A. R. Hoare, A. W. Roscoe · Journal of the ACM · 1984 · 1.2K citations · Full text

, , +10

1–5 of 884

Authors

1.5K

  1. MH
    Matthew Hennessy

    University of Sussex, United Kingdom

    11 publications · 869 citations

    11

    h-index

  2. JB
    J.A. Bergstra

    University of Amsterdam, Netherlands

    10 publications · 1.3K citations

    10

    h-index

  3. RC
    Rolando Cavazos–Cadena

    Universidad Autónoma Agraria Antonio Narro, Mexico

    9 publications · 154 citations

    9

    h-index

  4. RG
    Roberto Gorrieri

    University of Bologna, Italy

    8 publications · 694 citations

    8

    h-index

  5. MB
    Mario Bravetti

    University of Bologna, Italy

    8 publications · 310 citations

    8

    h-index

1–5 of 1.5K

Institutions

600

  1. Carnegie Mellon University

    Pittsburgh, United States

    16 h-index

    29 publications

    3.7K citations

  2. The University of Texas at Austin

    Austin, United States

    14 h-index

    32 publications

    1.1K citations

  3. Massachusetts Institute of Technology

    Cambridge, United States

    14 h-index

    21 publications

    1K citations

  4. University of California, Berkeley

    Berkeley, United States

    13 h-index

    18 publications

    1.4K citations

  5. University of Edinburgh

    Edinburgh, United Kingdom

    13 h-index

    19 publications

    2K citations

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

    Le Chesnay-Rocquencourt, France

    12 h-index

    22 publications

    782 citations

  7. University of Bologna

    Bologna, Italy

    12 h-index

    22 publications

    1.5K citations

  8. Centre National de la Recherche Scientifique

    Paris, France

    12 h-index

    21 publications

    680 citations

1–8 of 600

Venues

  1. Theoretical Computer Science

    34 publications · 1.2K citations

    22

    h-index

  2. IEEE Transactions on Information Theory

    21 publications · 1.4K citations

    20

    h-index

  3. Information and Computation

    20 publications · 2.3K citations

    18

    h-index

  4. IEEE Transactions on Automatic Control

    17 publications · 1.9K citations

    16

    h-index

  5. Journal of Applied Probability

    JAP · 28 publications · 2K citations

    16

    h-index

1–5