Formal semantics of nondeterminism and parallelism

@inproceedings{Kennaway1981FormalSO,
  title={Formal semantics of nondeterminism and parallelism},
  author={J. K. Kennaway},
  year={1981}
}