Doudou, A.Garbinato, B.Guerraoui, R.2006-03-272006-03-272006-03-27200010.1109/RELDI.2000.885402https://infoscience.epfl.ch/handle/20.500.14299/228981Modular Abstractions for Devising Byzantine-Resilient State Machine Replicationtext::conference output::conference proceedings::conference paper