Brief Announcement: Properties of a Family of Booster Types

Abstract

A family of simple deterministic “booster” types is given. The n process type Bmncannot do n process consensus on its own but can when combined with an m process consensus type, m ≥ 2. This is an example of non-robustness. Such types have been previously given for non-deterministic types and for deterministic types that require the aid of 3 process consensus. The Bmn types exhibit other interesting properties.