Unbounded Non-Determinism in CSP

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},
}