(ref.doc)acms29-1

ACM Computing Surveys

March 97, Vol 29, no 1

p 30 Algebraic Approaches to Nondeterminism: An Overview
by Michal Walicki and Sigurd Meldal
 Nondeterminism and Nondeterminacy (semantics/syntax)
 Nondeterminism and underspecification
  underspecification admits a choice between different models, nut
  nondeterminism admits choices within one model.
 Representational Versus "Real" Nondeterminism
  not at the level of abstraction/really non predictable
 Bounded and Unbounded Nondeterminism