Publication

Abstractions for Byzantine-resilient state machine replication