Definice .

Nechť Act je množina návěští, je množina proměnných a množina konstant (jmen procesů). Výrazy jazyka CCS jsou definovány následovně:

  t#tex2html_wrap_inline4325# I<>E[f]sdasdsa přejmenování pro t#tex2html_wrap_inline4329#

 		  		  		 prefix 		 

		|		  		 sumace 		  (I je indexová množina)

		|		  		 kompozice

		|		  		 restrikce 		 

		|		 E[f] 		 přejmenování 		 

		|		 A 		 jméno procesu 		 

		|		 X 		 proměnná 		  

Systémem definic CCS (nebo zkráceně systémem CCS) nazýváme konečnou množinu definic , kde všechna jména procesů v každém výrazu patří do množiny a každý výraz je uzavřený, tj. neobsahuje volné proměnné.

Nechť a . Sémantika CCS je určena přechodovým systémem s návěštími pomocí následujících pravidel:

 
		  		 		 
 [.2cm]
		  		 		 
 [.2cm]
		  		 		  
 [.2cm]