Nondeterministic Algebraic Specifications
Heinrich Hußmann · Birkhäuser Boston eBooks · 1993
This chapter will show precisely how to generalize the model classes and the specification language for algebraic specifications to the case of nondeterminism. Particular emphasis is laid on a motivation for the design decisions and on a comparison to other approaches. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.