Top-down design and the algebra of communicating processes (Q1084850): Difference between revisions

From MaRDI portal
Created claim: Wikidata QID (P12): Q114851998, #quickstatements; #temporary_batch_1706273008033
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 00:57, 31 January 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
    0 references
    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

    Identifiers