Denotational semantics for probabilistic recurrences