Search for: [Abstract = "The problem tackled in this paper originates from the debugging of distributed applications. Execution of such an application can be modelled as a partially ordered set of process states. The debugging of control flows \(sequences of process states\) of these executions is based on satisfying the predicates by process states. A process state that satisfies a predicate inherits its label."]