CSP (matemática)

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Question book.svg
Esta página ou se(c)ção não cita fontes fiáveis e independentes (desde abril de 2012). Por favor, adicione referências e insira-as no texto ou no rodapé, conforme o livro de estilo. Conteúdo sem fontes poderá ser removido.

A notação CSP foi proposta por C.A.R. Hoare. É uma notação para descrever sistemas concorrentes cujos componentes são denominados processos, os quais interagem entre si e com o ambiente através de comunicação. Um evento é a interface pela qual um processo se comunica com o ambiente. Pode ser iniciado por um processo ou pelo ambiente externo, como outros processos ou objetos. Um processo, por sua vez, é definido em termos de eventos.

Ícone de esboço Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.