Aranda B., Jesús A. 2013. “On Decidability Properties of Two Fragments of the Asynchronous π-Calculus”. Ingeniería Y Competitividad 15 (2):137-49. https://doi.org/10.25100/iyc.v15i2.2601.