Ο '''Λογισμός των Επικοινωνούντων Συστημάτων''' ('''Calculus of Communicating Systems''' ή '''CCS)''') είναι ένας [[λογισμός διεργασιών]] (process calculus) που εμφανίστηκε τη δεκαετία του 1980 από τον [[Robin Milner]] και ονομάστηκε από τον τίτλο του βιβλίου που περιέγραφε το λογισμό. Οι ενέργειές του μοντελοποιούν αδιαίρετες επικοινωνίες μεταξύ ακριβώς δύο συμμετεχόντων. Η τυπική γλώσσα περιλαμβάνει βασικά στοιχεία για την περιγραφή της παράλληλης σύνθεσης, της επιλογής μεταξύ ενεργειών και του περιορισμού εμβέλειας. Ο CCS είναι χρήσιμος για την εκτίμηση της ορθότητας ιδιοτήτων ενός συστήματος όπως το αδιέξοδο (deadlock) και το ζωντανό αδιέξοδο (livelock).<ref>{{cite book |editor1-first=Ulrich |editor1-last=Herzog |title=Formal Methods for Performance Evaluation |accessdate=2009-04-21 |series=Lecture Notes in Computer Science |volume=4486 |year=2007 |month=May |publisher=Springer |doi=10.1007/978-3-540-72522-0 |pages=318–370 |chapter=Tackling Large State Spaces in Performance Modelling |chapterurl=http://aesop.doc.ic.ac.uk/pubs/large-state-spaces/ }}</ref>
Σύμφωνα με το Milner, "Δεν υπάρχει κάτι κανονικό σχετικά με την επιλογή των βασικών συνδυαστών, αν και επιλέχθηκαν με προσοχή στην οικονομία. Αυτό που χαρακτηρίζει το λογισμό μας δεν είναι η ακριβής επιλογή των συνδυαστών αλλά η επιλογή της ερμηνείας και του μαθηματικού πλαισίου".<ref>"There is nothing canonical about the choice of the basic combinators, even though they were chosen with great attention to economy. What characterises our calculus is not the exact choice of combinators, but rather the choice of interpretation and of mathematical framework"</ref>
