Safe semantics: Difference between revisions

Content deleted Content added
Removing Read_operation.jpg; it has been deleted from Commons by Jianhui67 because: per c:Commons:Deletion requests/Files uploaded by Mehrnazzhian.
m Write: fmt
 
Line 60:
were ''B'' is the number of Byzantine failures.
 
Proof : Red region indicates (Qw∩Qr)\B and the blue region indicates Qr∩B. From the assumption, the size of each quorum is n-f-j, so the red region has n-3f-2j active servers. Therefore,
 
<math>n-3f-2J > f -->\implies n > 4f+2J -->\implies n </math> is strictly greater than f.
[[File:Validity.jpg|center|validity]]