In this paper we show how
) can be used as a unifying framework for the definition of the semantics of stochastic process algebras.
definition of such semantics exploiting operators on the next state functions which are the functional counterpart of classical process algebra operators. We apply this framework to representative fragments of major stochastic process calculi namely
and show how they solve the issue of transition multiplicity in a simple and elegant way. We, moreover, show how
help describing different languages, their differences and their similarities. For each calculus, we also show the formal correspondence between the
semantics and the standard SOS one.