Barrier synchronisation: Axiomatisation and relaxation | Publicación