Go is inspired a lot by CSP, and allows you to apply CSP calculus when using goroutines and channels.
It doesn't make it impossible to make mistakes, but it does give you tools needed to reason about your concurrent program, which is more than can be said of most other languages' concurrency support.