Structural operational semantics for continuous state probabilistic processes