K. Narayan Kumar Paritosh K. Pandya Infinitary Parallelism without Unbounded Nondeterminism in CSP. 467-487 1993 30 Acta Inf. 5 db/journals/acta/acta30.html#KumarP93 http://dx.doi.org/10.1007/BF01210597