Gli operatori servono per comporre le azioni ed i processi in espressioni che descrivono il comportamento di un sistema concorrente. Ad ogni operatore è associato un certo numero di assiomi e regole di transizione (regole di inferenza) che permettono al sistema stesso di passare da uno stato ad un altro.
Solitamente una regola di transizione viene definita tramite una barra orizzontale sopra la quale si scrive un insieme di premesse e sotto la quale si indica la conclusione :
In un assioma invece non sono presenti le premesse, perciò la conclusione è sempre valida:
Nei combinatori dinamici, al contrario, è presente prima dell'azione, ma è assente dopo.
Inoltre gli operatori possono essere deterministici o non deterministici a seconda del modo in cui influenzano appunto il determinismo di un sistema.
Qui trattiamo gli operatori più utilizzati e conosciuti nella teoria. Possiamo suddividerli in gruppi per comprenderne meglio l'utilizzo.