progressively measurable stochastic process