A correctness condition for memory shared among Byzantine clients (0)

by D Malkhi, M Reiter, N Lynch