Modelarea sistemelor distribuite

Titlul original:

Modelling Distributed Systems

Conținutul cărții:

Acest manual ghidează studenții prin specificarea și verificarea algebrică a sistemelor distribuite, precum și prin unele dintre cele mai importante tehnici de verificare formală.

Autorul utilizează CRL ca vehicul, un limbaj dezvoltat pentru a combina algebra proceselor și tipurile abstracte de date. Cartea a evoluat din cursurile introductive de verificare a protocoalelor predate studenților licențiați și absolvenți de informatică, iar textul este susținut pe tot parcursul cu exemple și exerciții.

Soluțiile complete sunt furnizate într-o anexă, în timp ce fișele de exerciții, exercițiile de laborator, specificațiile de exemplu și diapozitivele profesorilor sunt disponibile pe site-ul web al autorului. Cercetătorii din domeniu pot utiliza cartea ca o prezentare generală a stadiului actual al specificațiilor și verificărilor algebrice.