Partial Nondeterministic Specifications

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


Up to this point, only nondeterministic specifications have been considered the models of which are total algebras. The axioms were restricted to (conditional) inclusion rules. An important advanced concept for classical equational specifications is an appropriate treatment of “undefined” situations during the computation of a value. In order to show that partial nondeterministic specifications do not evoke essential new problems, a generalization of our approach to partial specifications is addressed here. The treatment of partiality follows tightly the concepts in [Broy, Wirsing 82].


Partial Specification Partial Algebra Partial Operation Algebraic Specification Terminal Model 
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