Example of Modeling with SDL:
a simple communication protocol
•A sender and a receiver communicate
•Buffer size is 1: each message must be acknowledged before next is sent •If acknowledgement does not arrive in a reasonable time, message is resent •The communication network may lose but not corrupt messages