Alexander Heß
- Linearizability and State-Machine Replication: Is it a match?
2024/07/01 by Franz J. Hauck, Hauck, Franz J., Alexander Heß +1 · 1 voice
Computer Science · Engineering · #Distributed #FOS: Computer and information sciences #Fault Detection and Control Systems #Formal Methods in Verification #Parallel #Petri Nets in System Modeling #and Cluster Computing (cs.DC) #cs.DC