Stochastic Process Algebras Meet Eden | Publicación