J. A. Aranda B., «Sobre la decidibilidad de dos fragmentos del π-cálculo asincrónico», inycomp, vol. 15, n.º 2, pp. 137–149, nov. 2013.