From CCS to CSP: the m-among-n Synchronisation Approach | Publicación