Aranda B., J. A. (2013) «Sobre la decidibilidad de dos fragmentos del π-cálculo asincrónico», INGENIERÍA Y COMPETITIVIDAD, 15(2), pp. 137–149. doi: 10.25100/iyc.v15i2.2601.