a formal model of crash recovery in a distributed system inf.fu-berlin.de Category:computers electronics and technology Global Rank:- visits:39.8K pages/Per:1.3 ADS