Aranda B., Jesús A. «Sobre La Decidibilidad De Dos Fragmentos Del π-cálculo asincrónico». Ingeniería y Competitividad 15, no. 2 (noviembre 29, 2013): 137–149. Accedido abril 25, 2024. https://revistaingenieria.univalle.edu.co/index.php/ingenieria_y_competitividad/article/view/2601.