. . . . . "A high performance totally ordered multicast protocol" . . .