@inproceedings{7a5dba770d914b6db6576579cdd2b88b,
title = "Specification and top down design of distributed systems",
abstract = "Stream-processing functions provide an excellent semantic model for the abstract representation of systems of nondeterministic concurrent communicating agents. Based on this model a formalism for the specification of such functions is suggested. This way a fully modular, compositional methodology for the specification and the design of distributed systems and their components is derived. 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 feedback for those agents is introduced.",
author = "Manfred Broy",
note = "Publisher Copyright: {\textcopyright} 1985, Springer-Verlag.; International Joint Conference on Theory and Practice of Software Development, TAPSOFT 1985 ; Conference date: 25-03-1985 Through 29-03-1985",
year = "1985",
doi = "10.1007/3-540-15198-2\_2",
language = "English",
isbn = "9783540151982",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "4--28",
editor = "James Thatcher and Hartmut Ehrig and Christiane Floyd and Maurice Nivat",
booktitle = "Mathematical Foundations of Software Development",
}