Wikipedia

Talk:Calculus of Communicating Systems/to do

Learn more about this page


  • Expand informal description of CCS to parallel that for the π-calculus
  • Add an overview of the formal syntax and semantics of CCS
Add topic
Retrieved from "https://en.wikipedia.org/w/index.php?title=Talk:Calculus_of_Communicating_Systems/to_do&oldid=90349093"