Ein kompakter Sammelband des zweiten internationalen Workshops zu Prozessalgebra und probabilistischen Methoden, der aktuelle Forschungsergebnisse zur Modellierung von Systemleistungen zusammenführt und deren Verifikationsansätze kritisch bewertet.