Report copyright - Toward Domain-Specific Solversfor Distributed Consistencylkuper/papers/... · L.KuperandP.Alvaro 5 Figure1Examplesofinvariant-violatingexecutionsthataredisallowed(left)andallowed(right)
Please pass captcha verification before submit form