Communicating Sequential Processes
1978·ensayo
Propone un enfoque para modelar y analizar sistemas concurrentes basado en procesos que interactúan mediante el paso de mensajes, un paradigma que influyó en muchos lenguajes, como Occam.
británico
C. A. R. Hoare es un destacado científico y pionero en el campo de la informática, conocido por sus contribuciones a la teoría de algoritmos y el desarrollo del lenguaje de programación ALGOL. Recibió el Premio Turing en 1980 por su trabajo en la verificación formal de programas.
1978·ensayo
Propone un enfoque para modelar y analizar sistemas concurrentes basado en procesos que interactúan mediante el paso de mensajes, un paradigma que influyó en muchos lenguajes, como Occam.
Aparecen junto a C. A. R. Hoare en búsquedas del archivo