5. Syntax and semantics of CCS