Efficient and Deterministic Scheduling for Parallel State Machine Replication | IEEE Conference Publication | IEEE Xplore