1.
Aranda B. JA. Sobre la decidibilidad de dos fragmentos del π-cálculo asincrónico. inycomp [Internet]. 29 de diciembre de 2013 [citado 14 de junio de 2024];15(2):137-49. Disponible en: https://revistaingenieria.univalle.edu.co/index.php/ingenieria_y_competitividad/article/view/2601