Labelled markov processes - Panangaden Prakash (London Imperial College Press, 2009)
Keywords: Markov processes; Measure theory