André Gustavo Andrade...
Interesses
Home

Ensino

Publicações

Pesquisa

Atividades Acadêmicas
 
...
Pi-Calculus:

O que é?

É um cálculo para agente móveis criado por Milner e inspirado no CCS, mas com capacidade de reconfiguração dinâmica (mobilidade) e extrusão de escopo. Tem utilidade na verificação formal de agentes móveis.

Referências:

  • Calculi for Mobile Processes : onde se pode achar links para quase tudo o que está sendo feito na área.
  • A Calculus for Mobile Processes (By Milner) Part I e Part II que são artigos introdutórios e didáticos.

 
Meu trabalho na área:
  • Desenvolvimento de linguagem gráfica de especificação e representação para Pi-calculus (PiG)
  • Estudo dos mecanismos de verificação para Pi-calculus (mapeamento de Pi-Calculus para CCS)
  • Integração de programa de especificação (PiG) e de verificação (VTubaina).