Επέφερε Μίλνερ γύρω στο 1980, CCS είναι μια αλγεβρική θεωρία που τυποποιεί την έννοια του ταυτόχρονου υπολογισμού. Η επίσημη γλώσσα περιλαμβάνει πρωτόγονων για την περιγραφή παράλληλη σύνθεση, επιλογή μεταξύ δράσεων και περιορισμό του πεδίου εφαρμογής. CCS είναι χρήσιµοι για την αξιολόγηση της ποιοτικής ορθότητας των ιδιοτήτων ενός συστήματος όπως το αδιέξοδο ή livelock.