Title: Formale Behandlung des Verklemmungsproblems beim Mehrprogrammbetrieb