[PDF][PDF] Formal Model of Crash Tolerant Moving Sequencer Atomic Broadcast (UUB Based).
P Srivastava - ACI@ ISIC, 2022 - ceur-ws.org
The proposed work investigates crash failure in moving sequencer atomic broadcast that
relies on unicast unicast broadcast (UUB) variant of fixed. A few points are evident from …
relies on unicast unicast broadcast (UUB) variant of fixed. A few points are evident from …