Transis:Membership Algorithm
Utilizes hardware broadcast
Ordering and Reliability optimized by DAG
Handles crashes and recoveries.
Handles network partitions and merges.
Terminates in a bounded time (to do that, it allows the extraction of live but “inactive” processors).
Guarantees extended virtual synchrony (relationship between messages and membership events).