Jump to content

Talk:Calculus of Communicating Systems/to do

Page contents not supported in other languages.
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

Start a discussion