From active names to π-calculus rewriting rules (2005)
Fonte: Electronic Notes in Theoretical Computer Science. Nome do evento: Brazilian Symposium on Formal Methods - SBMF. Unidade: IME
Assuntos: TEORIA DOS AUTÔMATOS, MODELOS MATEMÁTICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
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: 06 nov. 2025. , 2005APA
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.010NLM
Melo ACV de. From active names to π-calculus rewriting rules [Internet]. Electronic Notes in Theoretical Computer Science. 2005 ; 130 169-185.[citado 2025 nov. 06 ] Available from: https://doi.org/10.1016/j.entcs.2005.03.010Vancouver
Melo ACV de. From active names to π-calculus rewriting rules [Internet]. Electronic Notes in Theoretical Computer Science. 2005 ; 130 169-185.[citado 2025 nov. 06 ] Available from: https://doi.org/10.1016/j.entcs.2005.03.010
