Top-down design and the algebra of communicating processes
Jan Aldert Bergstra, Judith Tucker · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1984
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 design for a communication protocol.r i ("' I. ,-.