Quina temàtica explora el text següent?
Processos comunicants seqüencials, de sigles anglosaxones CSP (Communicating sequential processes), és un model de Programació d'ordinadors de sistemes concurrents basat en la comunicació entre processos. Definició del model: Estructures de control seqüencials: ordres amb guarda de Dijkstra: <condició o guarda> → <acció> Execució concurrent dels processos. Ordres especials d'entrada/sortida entre processos: Pj ! i Pi? X La comunicació té lloc quan un procés Pi nomena a un altre procés Pj com a destí de la seva sortida i Pj nomena Pi com a origen de la seva entrada. No hi ha buffering (coixí de missatges). Els processos que han d'enviar o rebre missatges queden bloquejats fins que aconsegueixen la comunicació. No es creen ni es destrueixen processos durant l'execució dels programes (són estàtics). No hi ha recursivitat.
El text tracta sobre informàtica.