Aranda B., J. A. On Decidability Properties of Two Fragments of the Asynchronous π-Calculus. inycomp 2013, 15, 137-149.