Rachid Guerraoui, Pierre Sens
In its classical form, a consistent replicated service requires all replicas to witness the same evolution of the service state. Assuming a message-passing environment with a majority of correct processes, the necessary and sufficient information about fai ...
ACM Press2015