Semantic aspects of concurrent processes
Gérald Belpaire, Jean Pierre Wilmotte · ACM SIGPLAN Notices · 1973
In the literature on parallel processes, most of the specific 'parallel' features of programming languages are designed to fit and to solve only one specific class of problems of concurrent processes. For that reason, they usually provide a, fairly good and comprehensive definition of the problem but the real solution is left to the final implementation