Formal Model of Crash Tolerant Moving Sequencer Atomic Broadcast (UUB Based).

Prateek Srivastava

Published in: ACI@ISIC (2022)

Keyphrases

formal model
real time
formal models
single point
predicate calculus
security patterns
case study
case based reasoning