Concepedia

Stochastic Process Algebra

Stochastic Process Algebra is a formal modeling framework within process algebra that extends classical process calculi by incorporating probabilistic and temporal behaviors to represent and analyze systems with stochastic event occurrences.

230

Publications

8.4K

Citations

301

Authors

169

Institutions

Publications per year

2017–2026

8

Parents

Publications

230

Stochastic  -Calculus

C. Priami · The Computer Journal · 1995 · 465 citations · Full text

, , +15

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

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

, , +13

The Real-Time Process Algebra (RTPA)

Yingxu Wang · Annals of Software Engineering · 2002 · 275 citations

, , +10

Fluid flow approximation of PEPA models

Jane Hillston · 2005 · 268 citations

, , +14

A metric for ARMA processes

R. J. Martin · IEEE Transactions on Signal Processing · 2000 · 205 citations

, , +14

1–5 of 230

Authors

301

  1. JH
    Jane Hillston

    University of Edinburgh, United Kingdom

    21 publications · 968 citations

    16

    h-index

  2. SG
    Stephen Gilmore

    University of Edinburgh, United Kingdom

    15 publications · 565 citations

    13

    h-index

  3. MT
    Mirco Tribastone

    IMT School for Advanced Studies Lucca, Italy

    12 publications · 471 citations

    12

    h-index

  4. MB
    Marco Bernardo

    University of Urbino, Italy

    10 publications · 226 citations

    10

    h-index

  5. HH
    Holger Hermanns

    Saarland University, Germany

    9 publications · 343 citations

    9

    h-index

1–5 of 301

Institutions

169

  1. University of Edinburgh

    Edinburgh, United Kingdom

    20 h-index

    59 publications

    2.2K citations

  2. Imperial College London

    London, United Kingdom

    13 h-index

    34 publications

    1.1K citations

  3. Eindhoven University of Technology

    Eindhoven, The Netherlands

    9 h-index

    12 publications

    270 citations

  4. Ludwig-Maximilians-Universität München

    Munich, Germany

    8 h-index

    13 publications

    306 citations

  5. University of Twente

    Enschede, The Netherlands

    8 h-index

    20 publications

    596 citations

  6. University of Trieste

    Trieste, Italy

    7 h-index

    7 publications

    163 citations

  7. Friedrich-Alexander-Universität Erlangen-Nürnberg

    Erlangen, Germany

    7 h-index

    11 publications

    463 citations

  8. University of Bologna

    Bologna, Italy

    6 h-index

    8 publications

    204 citations

1–8 of 169

Venues

  1. The Computer Journal

    15 publications · 912 citations

    13

    h-index

  2. Theoretical Computer Science

    14 publications · 585 citations

    13

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 7 publications · 234 citations

    7

    h-index

  4. OpenGrey (Institut de l'Information Scientifique et Technique)

    Repository · 4 publications · 151 citations

    4

    h-index

  5. The Annals of Probability

    4 publications · 113 citations

    4

    h-index

1–5