A non-interleaving process calculus for multi-party synchronisation