Ein einführendes Buch, das die Grundlagen der Verifikation paralleler Systeme vermittelt, indem es kompositionsbasierte Verfahren mit nicht-kompositionalen Ansätzen vergleicht und deren Einsatz in realen Algorithmen demonstriert.