Formal Techniques for Distributed Objects, Components, and Systems
Ein Leitfaden für formale Methoden in verteilten Systemen, der komplexe Konzepte wie Objektorientierung, Komponentenarchitektur und Synchronisation klar erklärt und praktische Anwendungsbeispiele bietet.