A study on the potential active names of π-agents
Ana Cristina Vieira de Melo Brazilian Workshop on Formal Methods - WMF (2003 Campina Grande)
Electronic Notes in Theoretical Computer Science Amsterdam v. 95, p. 269-286, 2004Amsterdam 2004
Localização: IME - Inst. Matemática e Estatística (PROD-1482363 ) e outros locais(Acessar)