LEWIS FREDERICK G

Detecting and preventing the split-brain condition in redundant processing units