Ein Fachband aus dem internationalen Workshop PAPM‑PROBMIV 2001 in Aachen, der sich mit der Analyse von Systemen durch Prozessalgebra und stochastische Verfahren zur Leistungsmodellierung und Verifikation beschäftigt.