J. A. Aranda B., “On decidability properties of two fragments of the asynchronous π-calculus”, inycomp, vol. 15, no. 2, pp. 137–149, Dec. 2013.