J. A. Aranda B., Tran., “Sobre la decidibilidad de dos fragmentos del π-cálculo asincrónico”, inycomp, vol. 15, no. 2, pp. 137–149, Dec. 2013, doi: 10.25100/iyc.v15i2.2601.