The three major denotational models of CSP are the traces model, the stable failures model, and the failures/divergences model.
Trys pagrindinės KNP denotacijos modeliai yra: žymių modelis, pastovių nesėkmių modelis ir nesekmių/skirtumų modelis.