Top-down design and the algebra of communicating processes

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

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 design for a communication protocol. © 1985.

Cite

CITATION STYLE

APA

Bergstra, J. A., & Tucker, J. V. (1985). Top-down design and the algebra of communicating processes. Science of Computer Programming, 5(C), 171–199. https://doi.org/10.1016/0167-6423(85)90010-3

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