A comparison of bisimulation-based semantic equivalences for noninterleaving behaviour over CCS processes