collaborators

1 paper

cs.PF2022

Rate Lifting for Stochastic Process Algebra: Exploiting Structural Properties

Markus Siegle, Amin Soltanieh

This report presents an algorithm for determining the unknown rates in the sequential processes of a Stochastic Process Algebra model, provided that the rates in the combined flat…