Friendly Wiki
Home
About
Random
Help
Updates
Contact
Login
Friendly Wiki
☰
Home
About
Random
Help
Updates
Contact
Login
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