Discrete Time Generative-reactive Probabilistic Processes with Different Advancing Speeds, Theoretical Computer Science 290(1):355???406