206
Voted
CONCUR
2005
Springer
16 years 24 days ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...