Navegação Computação por Assunto "Cálculo"
Resultados 1-1 de 1
-
Identificação de nomes ativos em agentes-π baseada em tipos
(2005) [Dissertação]Na última década muitos esforços têm sido feitos em verificação formal de propriedades de agentes do cálculo-π. Uma dessas propriedades é a equivalência observacional, que serve para determinar se um processo é equivalente ...