Structure of the Model Classes
Heinrich Hußmann · Birkhäuser Boston eBooks · 1993
This chapter is dedicated to a study of results concerning the relationship between various models of a nondeterministic specification. In particular, the notion of a Σ-homomorphism for multi-algebras is dealt with in the following sections.