Apportioning: a technique for efficient reachability analysis of concurrent object-oriented programs.

Sridhar Iyer, S. Ramesh

Browse the full HiPC paper archive.