CSP implementations