Nondeterministic Algebraic Specifications
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.
KeywordsSpecification Language Atomic Formula Equational Logic Deduction Rule Nondeterministic Choice
Unable to display preview. Download preview PDF.