Aranda B., Jesús A., trans. “Sobre La Decidibilidad De Dos Fragmentos Del π-cálculo asincrónico”. Ingeniería y Competitividad 15, no. 2 (December 29, 2013): 137–149. Accessed January 11, 2026. https://revistaingenieria.univalle.edu.co/index.php/ingenieria_y_competitividad/article/view/2601.