發送短信: Duality for Labelled Markov Processes