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.]
Wyników: 1
AMCS, volume 7 (1997)
Hurfin, Michel Raynal, Michel Korbicz, Józef - red. Uciński, Dariusz - red.
1997
artykuł
