Aranda B., J. A. Sobre La Decidibilidad De Dos Fragmentos Del π-cálculo asincrónico. inycomp 2013, 15, 137-149.