Title: The consistency of the calculus of total correctness for communicating processes