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