Sciweavers

60
Voted
FTRTFT
1994
Springer
15 years 1 months ago
Specifying and Verifying Fault-Tolerant Systems
Leslie Lamport, Stephan Merz
55
Voted
FTRTFT
1994
Springer
15 years 1 months ago
Tatzelwurm
Thomas Käufl, Stefan Klingenbeck
83
Voted
FTRTFT
1994
Springer
15 years 1 months ago
Specification and Refinement of Finite Dataflow Networks - a Relational Approach
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...
Manfred Broy, Ketil Stølen