distributed systems detecting mutual inconsistency 3685362