Structural operational semantics for non-deterministic processes with quantitative aspects