Formalization of Conflict Analysis of Programs with Procedures, Thread Creation, and Monitors by Peter Lammich and Markus Müller-Olm Dec 14