Modelización de sistemas distribuidos

Título original:

Modelling Distributed Systems

Contenido del libro:

Este libro de texto guía a los estudiantes a través de la especificación algebraica y la verificación de sistemas distribuidos, así como de algunas de las técnicas de verificación formal más destacadas.

El autor emplea como vehículo el CRL, un lenguaje desarrollado para combinar el álgebra de procesos y los tipos de datos abstractos. El libro se desarrolló a partir de cursos introductorios sobre verificación de protocolos impartidos a estudiantes universitarios y de posgrado de informática, y el texto se apoya en ejemplos y ejercicios.

Las soluciones completas figuran en un apéndice, mientras que las hojas de ejercicios, los ejercicios de laboratorio, las especificaciones de ejemplo y las diapositivas del profesor están disponibles en el sitio web del autor. Los investigadores en este campo pueden utilizar el libro como una visión general del estado de la técnica en especificación algebraica y verificación.