Predicting and preventing inconsistencies in deployed distributed systems (0)

by M Yabandeh, N Kneˇzević, D Kostić, V Kuncak
Venue:ACM Transactions on Computer Systems (TOCS