Aranda B., J.A. 2013. On decidability properties of two fragments of the asynchronous π-calculus. Ingeniería y Competitividad. 15, 2 (Dec. 2013), 137–149. DOI:https://doi.org/10.25100/iyc.v15i2.2601.