Hesham Hallal Sergiy Boroday Alexandre Petrenko Andreas Ulrich A formal approach to property testing in causally consistent distributed traces. 63-83 2006 18 Formal Asp. Comput. 1 http://dx.doi.org/10.1007/s00165-005-0082-9 db/journals/fac/fac18.html#HallalBPU06