From active names to π-calculus rewriting rules (2005)
- Autor:
- Autor USP: MELO, ANA CRISTINA VIEIRA DE - IME
- Unidade: IME
- DOI: 10.1016/j.entcs.2005.03.010
- Subjects: TEORIA DOS AUTÔMATOS; MODELOS MATEMÁTICOS
- Language: Inglês
- Imprenta:
- Source:
- Título do periódico: Electronic Notes in Theoretical Computer Science
- ISSN: 1571-0661
- Volume/Número/Paginação/Ano: v. 130, p. 169-185, 2005
- Conference titles: Brazilian Symposium on Formal Methods - SBMF
- 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. From active names to π-calculus rewriting rules. 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/j.entcs.2005.03.010. Acesso em: 14 maio 2024. , 2005 -
APA
Melo, A. C. V. de. (2005). From active names to π-calculus rewriting rules. Electronic Notes in Theoretical Computer Science. Amsterdam: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1016/j.entcs.2005.03.010 -
NLM
Melo ACV de. From active names to π-calculus rewriting rules [Internet]. Electronic Notes in Theoretical Computer Science. 2005 ; 130 169-185.[citado 2024 maio 14 ] Available from: https://doi.org/10.1016/j.entcs.2005.03.010 -
Vancouver
Melo ACV de. From active names to π-calculus rewriting rules [Internet]. Electronic Notes in Theoretical Computer Science. 2005 ; 130 169-185.[citado 2024 maio 14 ] Available from: https://doi.org/10.1016/j.entcs.2005.03.010 - Bayesian networks in software maintenance management
- Towards MC/DC coverage of properties specification patterns
- Reusing hardware components with single-state processes
- 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
- Can you certify your software to MC/DC?: a static analysis approach to account for the number test cases
- A classification of test purposes based on testable properties
- A study on the potential active names of π-agents
- A formal environment model for multi-agent systems
- Testing Java exceptions: an instrumentation technique
Informações sobre o DOI: 10.1016/j.entcs.2005.03.010 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas