Return to Article Details CCS, Locations and Asynchronous Transition Systems Download Download PDF