CSP (Communicating Sequential Processes) Hoare, 1985

• Linguaggio di programmazione ad alto livello per attivita' concorrenti

• Meccanismi per

  • Definire processi (programmi sequenziali con flusso di controllo indipendente)
  • Esecuzione parallela (concorrente) di processi
  • Cooperazione ad ambiente locale