Título: Um estudo sobre nomes ativos em agentes móveis
Autora: Ana Cristina Vieira de Melo

Resumo:

Nomes ativos já foram estudados para processos concorrentes definidos em CCS, e
provado que processos bi-similares possuem o mesmo conjunto de nomes
ativos. Para agentes móveis descritosem pi-calculus, com reconfiguração
dinâmica, tais nomes ativos também asseguram bi-similaridade. Contudo, o
cálculo de nomes ativos para agentes-pi está baseado na abordagem semântica,
onde o sistema de transição é inicialmente construído para que os nomes ativos
sejam calculados posteriormente. Neste seminário, será apresentada uma
abordagem sintática para o cálculo de nomes ativos em pi-calculus, a qual pode
ser diretamente aplicada a algumas técnicas de verificação formal de agentes
móveis.