Infinitary parallelism without unbounded nondeterminism in CSP
infinitary parallel composition operator
scientific article; zbMATH DE number 567316