Hesham Hallal, Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich. A formal approach to property testing in causally consistent distributed traces. Formal Asp. Comput., 18(1):63-83, 2006. [doi]
@article{HallalBPU06,
title = {A formal approach to property testing in causally consistent distributed traces},
author = {Hesham Hallal and Sergiy Boroday and Alexandre Petrenko and Andreas Ulrich},
year = {2006},
doi = {10.1007/s00165-005-0082-9},
url = {http://dx.doi.org/10.1007/s00165-005-0082-9},
tags = {testing, systematic-approach},
researchr = {https://researchr.org/publication/HallalBPU06},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {18},
number = {1},
pages = {63-83},
}