GitHub - ComputerScience-Projects/Calculus-of-Communicating-Systems: The Calculus of Communicating Systems (CCS) is a process calculus introduced by Robin Milner around 1980 and the title of a book describing the calculus. Its actions model indivisible
![Amazon.fr - Secure Communicating Systems: Design, Analysis, and Implementation - Huth, Michael R. A. - Livres Amazon.fr - Secure Communicating Systems: Design, Analysis, and Implementation - Huth, Michael R. A. - Livres](https://m.media-amazon.com/images/I/71dDWNO7DDL._AC_UF1000,1000_QL80_.jpg)