43
Voted
FTRTFT
1994
Springer
14 years 3 months ago
1994
Springer
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...