Sobre La Decidibilidad De Dos Fragmentos Del π-cálculo asincrónico. inycomp 2013, 15 (2), 137-149. https://doi.org/10.25100/iyc.v15i2.2601.