Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects

Mathias Ruggaard Pedersen

Computer systems can be found everywhere: in space, in our homes, in our cars, in our pockets, and sometimes even in our own bodies. For concerns of safety, economy, and convenienc…