activity
20122026
most citedRate Reduction for State-labelled Markov Chains with Upper Time-bounded CSL Requirements

3 citations · 4 across the 5 of their papers we have counts for

collaborators
Showing cs.PFShow all

1 paper · 1 filter

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…