Text this: Formal analysis of control and termination of distributed computation in weaker spaces