Sobre la decidibilidad de dos fragmentos del π-cálculo asincrónico. inycomp. 2013;15(2):137-149. doi:10.25100/iyc.v15i2.2601