Ein Buch, das die Ergebnisse der FMOODS‑ und IFIP‑Konferenz 2009 zusammenführt, formale Modelle von verteilten Systemen detailliert erklärt und praxisnahe Beispiele für Entwickler liefert.