Padmanabhan Krishnan A Semantic Characterisation for Faults in Replicated Systems. 159-177 1994 128 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs128.html#Krishnan94