Jazyk (kalkulus) CCS (Calculus of Communicating Systems) je formálně zaveden Milnerem v []. Pro účely dalšího výkladu zde ocitujeme definici výrazů jazyka CCS (abstraktní syntax) a jejich sémantiku. 5mm
