Filters
  • Collections
  • Group objects
  • File type

Search for: [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."]

Number of results: 1

items per page

This page uses 'cookies'. More information