Reduction Semantics in Markovian Process Algebra