Enviar aquest missatge de text: Refinements for multiparty message-passing protocols: specification-agnostic theory and implementation