Sistemas comunicantes y móviles: El cálculo Pi

Opiniones de los lectores

El libro es una introducción bien acogida al pi-cálculo y sus aplicaciones en el modelado de sistemas de comunicación. Incluye explicaciones exhaustivas de los conceptos clave y es elogiado por ser conciso y estar bien estructurado, lo que lo hace adecuado tanto para estudiantes como para investigadores. Sin embargo, algunos lectores pueden encontrar limitada su brevedad si buscan una cobertura más extensa del tema.

⬤ Bien escrito y conciso
⬤ proporciona una sólida introducción al pi-cálculo
⬤ fuerte conexión entre CCS y pi-cálculo
⬤ adecuado para estudiantes e investigadores
⬤ ofrece una visión de la teoría de la equivalencia de comportamiento
⬤ ideal para aquellos que se inician en los sistemas distribuidos.

Algo breve, lo que puede no satisfacer a los lectores que busquen un tratamiento más exhaustivo del tema; su extensión limitada puede no proporcionar una exploración en profundidad para lectores avanzados.

(basado en 5 opiniones de lectores)

Título original:

Communicating and Mobile Systems: The Pi Calculus

Contenido del libro:

La comunicación es una parte fundamental e integral de la informática, ya sea entre distintos ordenadores de una red o entre componentes de un mismo ordenador. En este libro, Robin Milner introduce una nueva forma de modelar la comunicación que refleja su posición.

Trata los ordenadores y sus programas como si estuvieran construidos a partir de partes comunicantes, en lugar de añadir la comunicación como un nivel extra de actividad. Todo se introduce mediante ejemplos, como los teléfonos móviles, los programadores de tareas, las máquinas expendedoras, las estructuras de datos y los objetos de la programación orientada a objetos. Pero el objetivo del libro es desarrollar una teoría, el pi-cálculo, en la que estas cosas puedan tratarse con rigor.

El pi-calculus difiere de otros modelos de comportamiento comunicativo principalmente en su tratamiento de la movilidad. El movimiento de un dato dentro de un programa informático se trata exactamente igual que la transferencia de un mensaje -o incluso de todo un programa informático- a través de Internet.

También se pueden describir redes que se reconfiguran a sí mismas. El cálculo es muy sencillo pero potente; su ingrediente más destacado es la noción de nombre. Su teoría tiene dos ingredientes importantes: el concepto de equivalencia de comportamiento (u observacional) y el uso de una nueva teoría de tipos para clasificar los patrones de comportamiento interactivo.

Internet y sus protocolos de comunicación entran en el ámbito de la teoría tanto como los programas informáticos, las estructuras de datos, los algoritmos y los lenguajes de programación. Este libro es el primer libro de texto sobre el tema; ha sido largamente esperado por los profesionales y será bien recibido por ellos, y por sus estudiantes.