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), та модель невдач/розбіжностей (англ. failures/divergences).