Talk:Calculus of Communicating Systems/to do


  • Expand informal description of CCS to parallel that for the π-calculus
  • Add an overview of the formal syntax and semantics of CCS

Start a discussion