CSP instantiation