Modeling the distributed termination convention of CSP
Krzysztof Rafal Apt, Nissim Francez · ACM Transactions on Programming Languages and Systems · 1984
How the distributed termination convention of CSP repetitive commands can be modeled using other CSP constructs is shown.The presented transformation suggests a simple implementation of this convention.We argue that this convention should be used as a compiler option.