I pasted this in the gist comments, and I'll reproduce it here from Hoare's Communicating Sequential Processes: [0] > But the dangers of convenient facilities

I pasted this in the gist comments, and I'll reproduce it here from Hoare's Communicating Sequential Processes: [0] > But the dangers of convenient facilities are notorious. For example, the repetitive commands with input guards may tempt the programmer to write them without making adequate plans for their termination; and if it turns out that the automatic termination is unsatisfactory, reprogramming for explicit termination will involve severe changes, affecting even the interfaces between the processes. [0]: http://www.cs.ucf.edu/courses/cop4020/sum2009/CSP-hoare.pdf http://www.cs.ucf.edu/courses/cop4020/sum2009/CSP-hoare.pdf