Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors.

Peter Lammich, Markus Mller-Olm

Browse the full SAS paper archive.