Discrete time generative-reactive probabilistic processes with different advancing speeds

Mario Bravetti, Alessandro Aldini. Discrete time generative-reactive probabilistic processes with different advancing speeds. Theoretical Computer Science, 290(1):355-406, 2003.

Abstract

Abstract is missing.