Elosztott rendszerek modellezése

Eredeti címe:

Modelling Distributed Systems

Könyv tartalma:

Ez a tankönyv végigvezeti a hallgatókat az elosztott rendszerek algebrai specifikációján és verifikációján, valamint néhány kiemelkedő formális verifikációs technikán.

A szerző a CRL-t használja eszközként, egy olyan nyelvet, amelyet a folyamatalgebra és az absztrakt adattípusok kombinálására fejlesztettek ki. A könyv az informatika alap- és mesterszakos hallgatóknak tartott, protokollverifikációval foglalkozó bevezető kurzusokból fejlődött ki, és a szöveget végig példák és gyakorlatok segítik.

A teljes megoldásokat a függelék tartalmazza, míg a feladatlapok, a laborgyakorlatok, a példaspecifikációk és az előadói diák a szerző weboldalán érhetők el. A területen dolgozó kutatók a könyvet az algebrai specifikáció és verifikáció jelenlegi állásának széles körű áttekintéseként használhatják.