delimitar as regiões críticas para sincronização de processos;

permitir a comunicação de processos sequenciais através de mensagens;

permitir especificar concorrência de processos;

permitir implementar semáforos para resolver o problema da seção crítica;

permitir especificar paralelismo entre processos.