Return to Article Details On the Power of Labels in Transition Systems Download Download PDF