Personally I'd prefer stronger proofs than even those, but I think those papers get us to the point where implementation issues are as important as theoretical issues.
In my personal opinion, Redlock is not at the point where we even need to consider the implementation.
Personally I'd prefer stronger proofs than even those, but I think those papers get us to the point where implementation issues are as important as theoretical issues.
In my personal opinion, Redlock is not at the point where we even need to consider the implementation.