Concurrency correctness: Go course | Zoonk