Top-down design and the algebra of communicating processes (Q1084850): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
| (3 intermediate revisions by 2 users not shown) | |||
| Property / author | |||
| Property / author: Jan A. Bergstra / rank | |||
| Property / author | |||
| Property / author: Jan A. Bergstra / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2021173961 / rank | |||
Normal rank | |||
Latest revision as of 21:28, 19 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Top-down design and the algebra of communicating processes |
scientific article |
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
