Vol-3282⫷ Vol-3283 ⫸Vol-3284
urn:nbn:de:0074-3283-0


Vol-3283/Paper8⫷Vol-3283/Paper9⫸Vol-3283/Paper10

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