communicating sequential processes

En ciencias de la computación, los procesos secuenciales comunicantes (CSP) son un lenguaje formal para describir patrones de interacción en sistemas concurrentes. Es un miembro de la familia de teorías matemáticas de concurrencia conocidas como álgebras de procesos o cálculos de procesos, basadas en el paso de mensajes a través de canales. CSP fue altamente influyente en el diseño del lenguaje de programación occam y también influyó en el diseño de lenguajes de programación como Limbo, RaftLib, Erlang, Go, Crystal y core.async de Clojure. CSP se describió por primera vez en un artículo de 1978 de Tony Hoare, pero desde entonces ha evolucionado sustancialmente. CSP se ha aplicado prácticamente en la industria como una herramienta para especificar y verificar los aspectos concurrentes de una variedad de sistemas diferentes, como el Transputer T9000, así como un sistema de comercio electrónico seguro. La teoría de CSP en sí misma también sigue siendo objeto de investigación activa, incluido el trabajo para aumentar su rango de aplicabilidad práctica (por ejemplo, aumentar la escala de los sistemas que se pueden analizar de manera tratable). Historia La versión de CSP presentada en el artículo original de Hoare de 1978 era esencialmente un lenguaje de programación concurrente más que un cálculo de procesos. Tenía una sintaxis sustancialmente diferente a las versiones posteriores de CSP, no poseía semántica definida matemáticamente y no podía representar no determinismo ilimitado. Los programas en el CSP original se escribían como una composición paralela de un número fijo de procesos secuenciales que se comunicaban entre sí estrictamente a través de paso de mensajes síncrono. En contraste con las versiones posteriores de CSP, a cada proceso se le asignaba un nombre explícito, y el origen o destino de un mensaje se definía especificando el nombre del proceso emisor o receptor previsto. Por ejemplo, el proceso COPY = *[c:character; west?c → east!c]