Mukund, M.; Nielsen, M. CCS, Locations and Asynchronous Transition Systems. DPB 1992, 21.