Email Record: Constructive computation in stochastic models with applications :