Title: Advances in ultra-dependable distributed systems
Subjects: Electronic data processing, Distributed processing