Gravar-mail: On decidability properties of two fragments of the asynchronous π-calculus