Top-down design and the algebra of communicating processes

Citations of this article
Mendeley users who have this article in their library.
Get full text


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. © 1985.




Bergstra, J. A., & Tucker, J. V. (1985). Top-down design and the algebra of communicating processes. Science of Computer Programming, 5(C), 171–199.

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free