Top-down design and the algebra of communicating processes
From MaRDI portal
(Redirected from Top-down design and the algebra of communicating processes)
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.
Recommendations
Cited in
(12)- Algebra of communicating processes with abstraction
- On the consistency of Koomen's fair abstraction rule
- Global renaming operators in concrete process algebra
- Algebraic and functional specification of an interactive serializable database interface
- On sequential composition, action prefixes and process prefix
- Denotational engineering
- Top-down design within a functional environment
- scientific article; zbMATH DE number 3862421 (Why is no real title available?)
- scientific article; zbMATH DE number 3898216 (Why is no real title available?)
- Embedding untimed into timed process algebra; the case for explicit termination
- Non-regular iterators in process algebra
- Algebraic specification of concurrent systems
This page was built for publication: Top-down design and the algebra of communicating processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1084850)
