Aranda B., J. A. (2013). Sobre la decidibilidad de dos fragmentos del π-cálculo asincrónico. Ingeniería Y Competitividad, 15(2), 137–149. https://doi.org/10.25100/iyc.v15i2.2601