Comunicación de Procesos Secuenciales
Communicating sequential processes
- Fecha
- 1978 · fiabilidad alta
- Lugar
- Oxford, Inglaterra, Reino Unido
- Autoría
- Tony Hoare
- Ámbito
- Saber y símbolos
Qué es
Lenguaje formal ideado por Tony Hoare para describir patrones de interacción entre procesos concurrentes que se comunican por paso de mensajes a través de canales, dentro de la familia de las álgebras de procesos.
A qué dio paso
- Influencia decisiva en el diseño del lenguaje de programación occam
- Inspiración para lenguajes concurrentes posteriores como Go, Erlang y Clojure
- Aplicación industrial en la verificación de sistemas críticos, como el transputer T9000