Talk:Calculus of Communicating Systems/to do


 * Expand informal description of CCS to parallel that for the &pi;-calculus
 * Add an overview of the formal syntax and semantics of CCS