Modelling Distributed Systems
Tato učebnice provede studenty algebraickou specifikací a verifikací distribuovaných systémů a některými nejvýznamnějšími formálními verifikačními technikami.
Autor používá jako prostředek CRL, jazyk vyvinutý pro kombinaci algebry procesů a abstraktních datových typů. Kniha se vyvinula z úvodních kurzů verifikace protokolů vyučovaných pro studenty bakalářského a magisterského studia informatiky a text je v celém rozsahu podpořen příklady a cvičeními.
Úplná řešení jsou uvedena v příloze, zatímco listy cvičení, laboratorní cvičení, specifikace příkladů a prezentace pro přednášející jsou k dispozici na webových stránkách autora. Výzkumní pracovníci v oboru mohou knihu využít jako široký přehled současného stavu algebraické specifikace a verifikace.
