ARNOUD SACHA C

Effective high availability cluster management and effective state propagation for failure recovery in high availability clusters