Parallelizing multithreaded Java programs: a criterion and its /spl pi/-calculus foundation | IEEE Conference Publication | IEEE Xplore