1 search results - page 1 / 1 » compass 1991 |
COMPASS
1991
13 years 8 months ago
1991
: We give the main definitions and results of a new framework for algebraic specifications: the framework of label algebras. The main idea underlying our approach is that the sem...