High Level Transition Systems Of Csp Specifications by Markus Dahlweid