tipo processo, previamente definido.Em linguagens baseadas na criacao implicita de processo, o numero total de processos e fixado em tempo de compilacao, devendo, portanto, ser previamente conhecido. Por um lado, esse aspecto e vantajoso, pois simplifica o mapeamento entre processos e processadores fisicos. Por outro lado, entretanto, a criacao estatica de processo impoe restricao aos tipos de aplicacoes que possam vir a ser implementadas nessas linguagens.A existencia de uma construcao do tipo create pode tornar a linguagem mais flexivel, pois alem de permitir criacao dinamica de processos, possibilita a passagem de parametros ao processo recem criado. Parametros, normalmente, sao utilizados nessa situacao para estabelecer canais de comunicacao entre processos.Um ultimo aspecto considerado, relacionado com processo e a sua finalizacao. Um processo, normalmente, termina por si proprio, porem pode existir situacoes que exijam a existencia de primitiva que venha abortar certos processos. Algumas providencias podem tambem ser necessarias para se evitar que um processo tente se comunicar com um outro que ja tenha terminado.Outra unidade de paralelismo considerada e o objeto. Em geral, um objeto e uma entidade auto contida que encapsula dados e comportamento e que interage com o mundo externo (outros objetos) exclusivamente por meio de alguma forma de passagem de mensagem. Os dados contidos dentro de um objeto sao invisiveis fora do mesmo. O comportamento de um objeto e definido pela sua classe, que compreende uma lista de operacoes que podem ser invocadas atraves do envio de mensagens a esse objeto. Atraves da heranca, consegue-se definir uma classe como uma extensao de uma outra ja definida.As linguagens sequenciais orientadas a objetos sao baseadas no modelo de objetos passivos. Um objeto somente e ativado quando recebe uma mensagem de outro objeto, invocando alguma de suas operacoes. Enquanto o receptor da mensagem estiver ativo, o emissor estara esperando pelo resultado, tornando assim um objeto passivo. Apos o retorno do resultado, o objeto receptor retornara ao estado passivo e o emissor para o estado ativo. Em qualquer instante do processamento, num modelo como esse, no maximo um objeto podera estar ativo.Um ambiente paralelo pode ser obtido, a partir de um modelo sequencial baseado em objeto, atraves de uma extensao que incorporasse qualquer uma das seguintes modificacoes:permitir a existencia de objeto ativo sem que o mesmo tenha recebido mensagem;permitir que o objeto receptor continue executando apos ter retornado o seu resultado;permitir que um objeto envie mensagens para varios objetos simultaneamente epermitir que o emissor de uma mensagem continue executando em paralelo com o receptor.E interessante observar que o primeiro e o segundo metodos transformam o ambiente em um modelo baseado em objetos ativos, ou seja, e atribuido a cada objeto um processo.A terceira unidade de paralelismo considerada e o comando. Algumas linguagens distribuidas expressam o paralelismo atraves de estruturas que agrupam comandos que devem ser processados em paralelo. Esse metodo, apesar de facil utilizacao e entendimento, deixam muito a desejar com relacao a estruturacao de programa, e nao apresentam construcoes tao gerais como outros mecanismos.A quarta unidade de paralelismo a ser considerada e a expressao das linguagens funcionais. Em uma linguagem funcional pura, as