@techreport{hurfin:inria-00073852, TITLE = {{Detecting Diamond Necklaces in Labeled Dags (A Problem from Distributed Debugging)}}, AUTHOR = {Hurfin, Michel and Raynal, Michel}, URL = {https://inria.hal.science/inria-00073852}, TYPE = {Research Report}, NUMBER = {RR-2838}, INSTITUTION = {{INRIA}}, YEAR = {1996}, PDF = {https://inria.hal.science/inria-00073852/file/RR-2838.pdf}, HAL_ID = {inria-00073852}, HAL_VERSION = {v1}, }