- - - - CENAPAD-MGCO

A seguir: Conceitos e Notações Acima: Outras Linguagens e Notações Anterior: Conclusões

CSP - Communicating Sequential Processes

• Pseudo-linguagem proposta por Hoare em 1978; aqui seguimos fielmente o artigo Communicating Sequential Processes [Hoare, 1978]
• Proposta de estudo e estruturação de construções linguísticas para:
  • entrada e saída
  • expressão de paralelismo
  • sincronização de processos
• Uso de comandos guardados da forma condição $\rightarrow$ ação , para controle sequencial e expressão de não-determinismo;
• Comando paralelo baseado em cobegin ... coend; processos paralelos não compartilham variáveis ;
• A comunicação entre processos concorrentes é feita por comandos simples de entrada e saída ;
• Comandos de entrada e saída devem se casar : o valor de saída é copiado de um processo para o outro;
• Um comando de entrada ou de saída é atrasado até que o outro processo esteja pronto para a execução do comando de saída ou de entrada correspondente;
• Comandos de entrada podem aparecer em guardas;
• Não é uma linguagem completa : faltam regras para definição de dados, recursividade, etc.