Communicating Sequential Processes

Aunque de campos radicalmente diferentes (informática vs. filosofía), la conexión no obvia radica en el esfuerzo por establecer axiomas y principios fundamentales a partir de los cuales se construye un sistema complejo y coherente. Ambos buscan una base indudable para su respectivo dominio, sea el conocimiento o la concurrencia.

La conexión reside en la idea de 'proceso' y 'mediación'. Mientras Hoare define cómo los procesos se comunican directamente, Debord analiza cómo las interacciones humanas se ven mediadas y "comunicadas" a través de una abstracción (el espectáculo), alterando la autenticidad de la experiencia. Ambos abordan las implicaciones de sistemas complejos, aunque de naturaleza muy distinta.

Comparte la preocupación subyacente por la fundamentación y los principios subyacentes de los sistemas computacionales. Mientras Hoare establece principios para la comunicación concurrente, Domingos busca los principios que rigen el aprendizaje y la inteligencia artificial, ambos inmersos en la esencia de cómo "piensan" y "operan" las máquinas, y cómo interactúan las ideas subyacentes.

Aunque no trata directamente con la concurrencia, la obra de Hofstadter comparte una profunda similitud filosófica en su análisis de los sistemas formales, la recursión y la emergencia de propiedades complejas a partir de reglas simples. CSP es un sistema formal para describir la concurrencia; Gödel, Escher, Bach explora los límites y las propiedades inesperadas que surgen dentro de tales sistemas, resonando con la precisión lógica y la construcción de sistemas abstractos de Hoare.

Dijkstra fue una figura central, aunque menos popularizada entre el gran público que otros autores de divulgación, en la formulación de los principios de la programación estructurada y la verificación formal, conceptos que son fundamentales para entender la necesidad y el impacto de CSP de Hoare. Su trabajo es igualmente seminal y riguroso, y comparte el mismo espíritu formalista y la búsqueda de claridad en la construcción de sistemas complejos.

Gries, aunque muy conocido en círculos académicos de ciencias de la computación, es menos reconocido fuera de ellos. Su obra profundiza en los métodos formales para la construcción de programas, un campo íntimamente ligado a la lógica y la precisión que Hoare aplicó a la concurrencia. El enfoque en la derivación de programas correctos y el uso de un lenguaje de control estructurado resuenan con la metodología rigurosa de CSP.

La conexión estructural es la descomposición del problema en unidades interconectadas y la definición de una sintaxis para su combinación. CSP de Hoare define cómo los 'procesos' se comunican y coordinan; Alexander define cómo los 'patrones' arquitectónicos se conectan para formar un todo coherente y funcional. Ambos libros ofrecen un 'lenguaje' o una metodología para la construcción a partir de elementos discretos y bien definidos que interactúan.

Aunque no informático, Steiner reflexiona sobre la estructura generativa del lenguaje y cómo, a partir de elementos discretos (palabras, símbolos), se pueden crear infinitas combinaciones y significados, similar a la idea de construir sistemas complejos a partir de procesos comunicantes. La "gramática" de Steiner resuena con la "arquitectura" de la comunicación en Hoare, donde las reglas y estructuras definen las posibilidades de interacción y creación.