Computer Science - Logic in Computer Science; Computer Science - Logic in Computer Science; F.1.2; F.3.2

General frameworks have been recently proposed as unifying theories for processes combining non-determinism with quantitative aspects (such as probabilistic or stochastically timed executions), aiming to provide general results and tools. This paper …