A Formal Model of Asynchronous Broadcast Communication