Markus Müller-Olm

Formalization of Conflict Analysis of Programs with Procedures, Thread Creation, and Monitors

by Peter Lammich 🌐 and Markus Müller-Olm 🌐