El cálculo de sistemas comunicantes o CSS, es un lenguaje de especificación formal basado en el álgebra de procesos para la especificación y modelado de sistemas discretos comunicantes.
Fue propuesto por Robin Milner para ejemplificar su idea de un álgebra para representar simbólicamente los procesos que conforman un sistema de software paralelo.
CSS propone una notación textual y otra visual para representar la existencia dentro de un sistema de lo que llama proceso y la definición de estos. Los procesos son vistos como bloques herméticos que comunican con el mundo externo o ambiente por medio de puertos bien específicos, que conforman lo que se conoce como interfaz del proceso. Los procesos definen su comportamiento enunciando explícitamente la secuencia entera de operaciones elementales que dicho proceso efectúa durante toda su existen.
DARÍO TIC-II 19-20 