Modellare i sistemi distribuiti

Titolo originale:

Modelling Distributed Systems

Contenuto del libro:

Questo libro di testo guida gli studenti attraverso la specificazione e la verifica algebrica dei sistemi distribuiti e alcune delle più importanti tecniche di verifica formale.

L'autore utilizza come veicolo il CRL, un linguaggio sviluppato per combinare l'algebra dei processi e i tipi di dati astratti. Il libro si è sviluppato a partire da corsi introduttivi sulla verifica dei protocolli tenuti a studenti universitari e laureati in informatica, e il testo è supportato da esempi ed esercizi.

Le soluzioni complete sono fornite in un'appendice, mentre i fogli di esercizi, le esercitazioni di laboratorio, le specifiche di esempio e le diapositive dei docenti sono disponibili sul sito web dell'autore. I ricercatori del settore possono utilizzare il libro come un'ampia panoramica dello stato dell'arte delle specifiche e delle verifiche algebriche.