Ein praxisorientiertes Werk, das formale Verfahren für verteilte Objekte, Komponenten und Systeme detailliert erklärt, neue Modellierungsmethoden vorstellt und die Verifikation von Konsistenz sowie Sicherheit demonstriert.