Comment by azaras

I am learning TLA+ but I do not know CSP, is CSP better?