A pesquisa proposta consiste na proposição, implementação e formalização de abstrações para computação distribuída em redes com problemas graves de comunicação e segurança, como é o caso da Internet. As abstrações propostas serão inspiradas nas idéias e princípios do Cálculo de Ambientes, o que lhes assegura de antemão uma sólida base teórica.

Integrantes: Mariza Andrade da Silva Bigonha – Integrante / Antonio Alfredo F. Loureiro – Integrante / BIGONHA, Roberto S. – Coordenador.