$$\frac{}{(G,M,C)\stackrel{\text{go f()}}{\to }(G\cup \{\text{f()}\},M,C)}$$ $$\frac{\text{f()}\text{is}\text{data++}}{(G,M,C)\stackrel{\text{go f()}}{\to }(G-\{\text{f()}\},M[\text{data}\to M(\text{data})+1],C)}$$ $$\frac{\text{f()}\text{is}\text{done <- true}}{(G,M,C)\stackrel{\text{go f()}}{\to }(G-\{\text{f()}\},M,C[\text{done}\to C(\text{done})\cup \{\text{true}\}])}$$ $$\frac{\text{f()}\text{is}\text{<-done}}{(G,M,C)\stackrel{\text{go f()}}{\to }(G-\{\text{f()}\},M,C[\text{done}\to C(\text{done})-\{\text{true}\}])}$$ $$\frac{\text{f()}\text{is}\text{fmt.Println(data)}}{(G,M,C)\stackrel{\text{go f()}}{\to }(G\cup \{\text{f()}\},M,C)}$$