Enhancing throughput of partially replicated state machines via multi-partition operation scheduling | IEEE Conference Publication | IEEE Xplore