Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures.

Peter Lammich, Markus Mller-Olm

Browse the full CONCUR paper archive.