The CSP language: Syntax