Package: libjcsp-java (1.1-rc4-2.1)

biblioteca Java que fornece funcionalidades Communicating Sequential Processes (CSP)

JCSP (Communication Sequential Processes for Java) é uma biblioteca que fornece um modelo concorrente que é uma combinação de ideias da CSP de Hoare e do pi-calculus de Milner.

Communicating Sequential Processes (CSP) é uma teoria matemática para especificar e verificar padrões complexos de comportamento que surgem de interações entre objetos concorrentes.

JSCP fornece um intervalo base de primitivas CSP mais um rico conjunto de extensões. Também incluso está um pacote fornecendo processos envoltórios CSP dando uma interface "channel" para todas as operações gráficas e widgets AWT do Java. Ele é amplamente documentado (javadoc) e inclui muitas instruções.

JCSP é um modelo de concorrencia alternativo para threads e mecanismos construídos no Java. Ele é também compatível com elas pois é implementado sobre elas.

This page is also available in the following languages (How to set the default document language):