Abstract
We develop an algebraic theory for the top-down design of communicating systems in
which levels of abstraction are represented by algebras, and their stepwise refinements are
represented by homomorphisms. Particular attention is paid to the equational specification of
these levels of abstraction. A number of examples are included for illustration, most notably a
top-down
... read more
