fix portuguese sentences
fix definition to reliable broadcast
definition broadcast non volatile - LoggedReliableBroadcast