Approximating Labelled Markov Processes Again! - Philippe Chaput; Vincent Danos; Prakash Panangaden; Gordon D. Plotkin (CALCO, 2009)

Approximating Markov Processes by Averaging. - Philippe Chaput; Vincent Danos; Prakash Panangaden; Gordon D. Plotkin (J. ACM, 2014)