I'm looking for information on algorithms for data-flow analysis
in the presence of threads. Such algorithms would have to
model all the possible states each process could be in
as well as race-conditions, etc. I'd appreciate pointers to
any work in this area.