Automated stream-based analysis of fault-tolerance
1998; Springer Science+Business Media; Linguagem: Inglês
10.1007/bfb0055341
ISSN1611-3349
AutoresScott D. Stoller, Fred B. Schneider,
Tópico(s)Software System Performance and Reliability
ResumoA rigorous, automated approach to analyzing fault-tolerance of distributed systems is presented. The method is based on a stream model of computation that incorporates approximation mechanisms. One application is described: a protocol for fault-tolerant moving agents.
Referência(s)