Modeling asychronous message passing systems

Under construction

• send and receive queues
• alternating bit protocol