@inproceedings{7a01879cbbe24544a35369339d95d984,
title = "Specification and refinement of finite dataflow networks — A relational approach",
abstract = "We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of such specifications, namely time independent specifications, weakly time dependent specifications and strongly time dependent specifications. Dataflow components are semantically modeled by sets of timed stream processing functions. Specifications describe such sets by logical formulas. We emphasize the treatment of the well-known fair merge problem and the Brock/Ackermann anomaly. We give refinement rules which allow specifications to be decomposed modulo a feedback operator.",
author = "Manfred Broy and Ketil Stφlen",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1994.; 3rd International Symposium on Formal Techniques in Real Time and Fault Tolerance Organized Jointly with Working Group Provably Correct Systems, ProCoS 1994 ; Conference date: 19-09-1994 Through 23-09-1994",
year = "1994",
doi = "10.1007/3-540-58468-4\_169",
language = "English",
isbn = "9783540584681",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "247--267",
editor = "Hans Langmaack and \{de Roever\}, Willem-Paul and Jan Vytopil and Jan Vytopil",
booktitle = "Formal Techniques in Real-Time and Fault-Tolerant Systems - 3rd International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Proceedings",
}