Real Time and Stochastic Time