 showing that there is no wait-free protocol for set agreement using shared read-write memory or message passing. Herlihy and Shavit [00] introduced the use of simplicial complexes to model distributed computations. Borowsky and Gafni [00] and Saks and Zaharoughu [000] introduced layered 