Totally and Causally ordered Group Messenger on Android