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
Disponible en IME - Inst. Matemática e Estatística (PROD-1482363 ) y otras localizaciones(Obténgalo)