A study on the potential active names of π-agents (2004)
- Autor:
- Autor USP: MELO, ANA CRISTINA VIEIRA DE - IME
- Unidade: IME
- DOI: 10.1016/S1571-0661(04)05025-X
- Subjects: COMPUTABILIDADE E COMPLEXIDADE; PROGRAMAÇÃO MATEMÁTICA
- Language: Inglês
- Imprenta:
- Source:
- Título: Electronic Notes in Theoretical Computer Science
- ISSN: 1571-0661
- Volume/Número/Paginação/Ano: v. 95, p. 269-286, 2004
- Conference titles: Brazilian Workshop on Formal Methods - WMF
- Este periódico é de acesso aberto
- Este artigo é de acesso aberto
- URL de acesso aberto
- Cor do Acesso Aberto: gold
- Licença: cc-by-nc-nd
-
ABNT
MELO, Ana Cristina Vieira de. A study on the potential active names of π-agents. Electronic Notes in Theoretical Computer Science. Amsterdam: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1016/S1571-0661(04)05025-X. Acesso em: 06 out. 2024. , 2004 -
APA
Melo, A. C. V. de. (2004). A study on the potential active names of π-agents. Electronic Notes in Theoretical Computer Science. Amsterdam: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1016/S1571-0661(04)05025-X -
NLM
Melo ACV de. A study on the potential active names of π-agents [Internet]. Electronic Notes in Theoretical Computer Science. 2004 ; 95 269-286.[citado 2024 out. 06 ] Available from: https://doi.org/10.1016/S1571-0661(04)05025-X -
Vancouver
Melo ACV de. A study on the potential active names of π-agents [Internet]. Electronic Notes in Theoretical Computer Science. 2004 ; 95 269-286.[citado 2024 out. 06 ] Available from: https://doi.org/10.1016/S1571-0661(04)05025-X - Bayesian networks in software maintenance management
- Towards MC/DC coverage of properties specification patterns
- Reusing hardware components with single-state processes
- A formal environment model for multi-agent systems
- Testing Java exceptions: an instrumentation technique
- From test purposes to formal JPF properties
- Behaviorist agent architecture
- On the algebraic reuse of hardware design
- Proceedings of the II Workshop on Formal Methods, october 12-13, 1999, Florianópolis - SC - Brazil
- Testing the adherence of enterprise web applications to transactional patterns
Informações sobre o DOI: 10.1016/S1571-0661(04)05025-X (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas