Nondeterministic Algebraic Specifications

  • Heinrich Hussmann
Part of the Progress in Theoretical Computer Science book series (PTCS)


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.


Specification Language Atomic Formula Equational Logic Deduction Rule Nondeterministic Choice 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser Boston 1993

Authors and Affiliations

  • Heinrich Hussmann
    • 1
  1. 1.Institut für InformatikTechnische Universität MünchenMünchen 2Germany

Personalised recommendations