Aranda B., Jesús A. “On Decidability Properties of Two Fragments of the Asynchronous π-Calculus”. Ingeniería y Competitividad 15, no. 2 (December 29, 2013): 137–149. Accessed November 24, 2024. https://revistaingenieria.univalle.edu.co/index.php/ingenieria_y_competitividad/article/view/2601.