ARANDA B., J. A. Sobre la decidibilidad de dos fragmentos del π-cálculo asincrónico. Ingeniería y Competitividad, [S. l.], v. 15, n. 2, p. 137–149, 2013. DOI: 10.25100/iyc.v15i2.2601. Disponível em: https://revistaingenieria.univalle.edu.co/index.php/ingenieria_y_competitividad/article/view/2601. Acesso em: 29 mar. 2024.