Talk:Calculus of Communicating Systems/to do

From Wikipedia, the free encyclopedia


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