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 junio 1, 2023. https://revistaingenieria.univalle.edu.co/index.php/ingenieria_y_competitividad/article/view/2601.