Szukana fraza: [Abstract = "In this context, it follows that a distributed execution is a labelled directed acyclic graph \(DAG for brevity\). To debug or to determine if control flows of a distributed execution satisfy some property amounts to testing if the labelled DAG includes some pattern defined on predicate labels."]