On the decidability of non-interleaving process equivalences