Discrete time generative-reactive probabilistic processes with different advancing speeds.

Mario Bravetti Alessandro Aldini Discrete time generative-reactive probabilistic processes with different advancing speeds. 355-406 2003 290 Theor. Comput. Sci. 1 db/journals/tcs/tcs290.html#BravettiA03