Consider a distributed system where threads communicate by message passing. A type Abroad cast guarantees: 1. every non faulty thread eventually gets each message, 2. ifPbroadcastsM1and thenM2, then...

Consider a distributed system where threads communicate by message passing. A type Abroad cast guarantees:

1. every non faulty thread eventually gets each message,

2. ifPbroadcastsM1and thenM2, then every thread receivesM1beforeM2,but

3. messages broadcast by different threads may be received in different orders at different threads.