Top-down design and the algebra of communicating processes (Q1084850)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 3980466
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Top-down design and the algebra of communicating processes |
scientific article; zbMATH DE number 3980466 |
Statements
Top-down design and the algebra of communicating processes (English)
0 references
1985
0 references
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 communicatio protocol.
0 references
algebraic theory for the top-down design of communicating systems
0 references
stepwise refinements
0 references
equational specification
0 references
communicatio protocol
0 references
0.7678508162498474
0 references
