The COSY notation is a formalism intended to simplify the design, analysis and verification of concurrent systems by abstracting away from all aspects except those which have to do with synchronisation. In the following sections, we will discuss Basic COSY programs and Macro COSY programs.