Searching for "Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
- …Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis Akash Lal and Thomas…
- Cited by 2 (2 self) – Add To MetaCart
-
Noname manuscript No. (will be inserted by the editor) Reducing Concurrent Analysis Under a Context
- … analyses for sequential programs to analyses for concurrent programs under a bound on the number of context…
- Add To MetaCart
-
Research Intern
- … and Thomas Reps. Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis. In Proc. Computer…
- Add To MetaCart
Showing 1 through 3.
