Resource-Efficient State-Machine Replication with Multithreading and Vertical Scaling | IEEE Conference Publication | IEEE Xplore