A Correctness Condition for Memory Shared by Byzantine Processes. Unpublished manuscript (1998)

by D Malkhi, M Reiter, N Lynch