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