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 


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