Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9-13, 1996 
Subtitle: Proceedings (Lecture Notes in Computer Science)
Contributors: Bengt Jonsson (Editor); Joachim Parrow (Editor)
Publisher: Springer
Published: September 1996
Language: eng
Format: Paperback
Number of pages: 478
ISBN-13: 9783540616481
Subjects: Systems analysis & design; Science/Mathematics; Fault-tolerant computing; Computers - General Information; Computers; Real-Time Data Processing; Computer Books: Languages; Programming Languages - General; Logic Design; Data Processing - General; Operating Systems - General; Congresses
First sentence: In distributed systems, high service availability can be achieved by letting a team of servers replicate the service state; if some servers fail, the surviving ones know the service state and can continue to provide the service.