Behavioural congruences; Quantitative models; Rule formats; Theoretical Computer Science; Computer Science (all)

Recently, unifying theories for processes combining non-determinism with quantitative aspects (such as probabilistic or stochastically timed executions) have been proposed with the aim of providing general results and tools. This paper provides two …