link to the tla+ model of the situation and the proof that proposed solution would work: https://lobste.rs/s/ntati1/even_go_concurrency_is_still_not_easy_with#c

link to the tla+ model of the situation and the proof that proposed solution would work: https://lobste.rs/s/ntati1/even_go_concurrency_is_still_not_easy_with#c_oipgva https://lobste.rs/s/ntati1/even_go_concurrency_is_still_not_...