Analyzing Go and core.async (and maybe others?) using CSP