Anfonwch hwn fel neges destun: Labelled Markov processes