Aranda B., J. A. “On Decidability Properties of Two Fragments of the Asynchronous π-Calculus”. Ingeniería Y Competitividad, vol. 15, no. 2, Dec. 2013, pp. 137-49, doi:10.25100/iyc.v15i2.2601.