Specification and top-down design of distributed systems

Research output: Contribution to journalArticlepeer-review

8 Scopus citations


Stream-processing functions and recursively defined streams provide an excellent semantic model for the abstract representation of systems ("networks") of nondeterministic concurrent communicating agents. Based on this model an "algebraic" (equation-oriented) formalism for the specification of such networks as stream-processing functions is suggested. This way a fully modular ("compositional") methodology for the specification and the design of distributed systems and their components is obtained. Concepts of correctness are defined and rules of inference are discussed that help to transform such specifications into a network of communicating agents. A combinatorial ("functional") notation for the sequential and parallel composition as well as for a feedback operator for those agents is introduced.

Original languageEnglish
Pages (from-to)236-265
Number of pages30
JournalJournal of Computer and System Sciences
Issue number2-3
StatePublished - 1987
Externally publishedYes


Dive into the research topics of 'Specification and top-down design of distributed systems'. Together they form a unique fingerprint.

Cite this