A Formal Model for Fault-Tolerance in Distributed Systems.

Brahim Hamid, Mohamed Mosbah

Browse the full SAFECOMP paper archive.