Introdusert av Robin Milner rundt 1980, er CCS en algebraisk teori som formaliserer forestillingen om samtidig beregning. Formelle språk inkluderer primitive for å beskrive parallelle komposisjon, valg mellom handlinger og omfang begrensning. CCS er nyttig for å vurdere kvalitative riktigheten av egenskapene til et system som vranglås eller livelock.