A. W. Roscoe. Unbounded Non-Determinism in CSP. Journal of Logic and Computation, 3(2):131-172, 1993.
@article{Roscoe93, title = {Unbounded Non-Determinism in CSP}, author = {A. W. Roscoe}, year = {1993}, researchr = {https://researchr.org/publication/Roscoe93}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Computation}, volume = {3}, number = {2}, pages = {131-172}, }