Luca Bortolussi, Alberto Policriti: Hybrid Semantics for Stochastic pi-Calculus. AB 2008: 40-55