Stav dette: Techniques for process recovery in message passing and distributed shared memory systems