Modelling Distributed Systems
Ten podręcznik prowadzi studentów przez algebraiczną specyfikację i weryfikację systemów rozproszonych oraz niektóre z najbardziej znanych technik weryfikacji formalnej.
Autor wykorzystuje CRL jako narzędzie, język opracowany w celu połączenia algebry procesów i abstrakcyjnych typów danych. Książka wyewoluowała z kursów wprowadzających do weryfikacji protokołów prowadzonych dla studentów studiów licencjackich i magisterskich informatyki, a tekst jest poparty przykładami i ćwiczeniami.
Pełne rozwiązania znajdują się w załączniku, a arkusze ćwiczeń, ćwiczenia laboratoryjne, przykładowe specyfikacje i slajdy wykładowców są dostępne na stronie internetowej autora. Badacze w tej dziedzinie mogą wykorzystać tę książkę jako szeroki przegląd najnowocześniejszych rozwiązań w zakresie algebraicznej specyfikacji i weryfikacji.
