この資料をSMS送信: Duality for Labelled Markov Processes