- Expand informal description of CCS to parallel that for the π-calculus
- Add an overview of the formal syntax and semantics of CCS
Talk pages are where people discuss how to make content on Wikipedia the best that it can be. You can use this page to start a discussion with others about how to improve the "Calculus of Communicating Systems/to do" page.