The three major denotational models of CSP are the traces model, the stable failures model, and the failures/divergences model.
Τα τρία σημαντικότερα δηλωτικά μοντέλα της CSP είναι το μοντέλο ιχνών (traces model), το μοντέλο σταθερών αποτυχιών (stable failures model), και το μοντέλο αποτυχίες/αποκλίσεις (failures/divergences model).