Detecting Diamond Necklaces in Labeled Dags (A Problem from Distributed Debugging)


The problem tackled in this paper originates from the debugging of distributed applications. Execution of such an application can be modeled as a partially ordered set of process states. The debugging of control ows (sequences of process states) of these executions is based on the satisfaction of predicates by process states. A process state that satisses a… (More)
DOI: 10.1007/3-540-62559-3_18


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics