Technical Report: DCC-98-7

Um Ambiente para Computações Distribuídas, Concorrência e Mobilidade de Código

 Álvaro Figueira*, Fernando Silva*, Luís Lopes* e Vasco Vasconcelos**

* DCC-FC & LIACC, Universidade do Porto
** Dep. Informática, Universidade de Lisboa
  Novembro 1998

Resumo

Este artigo apresenta uma arquitectura para implementar o sistema DiTyCO, isto é, o Distributed TyCO. O TyCO é um cálculo de processos baseado no "lambda-calculus" assíncrono e com a adição de estruturas de escolha em que os componentes básicos são mensagens e objectos. A expansão do cálculo para um sistema distribuído é a forma natural de introduzir concorrência "pura" através de vários utilizadores em várias máquinas. A arquitectura apresentada é suficientemente independente da linguagem para servir de suporte a outras linguagens.