Ports and Port sets (modeled)

• Used to find a thread to communicate with
• Server blocks on port set until client arrives
• Client uses port to find port set to find server
• Client blocks if no server available
• Model only includes waiting semantics
• Server thread supplied to client in model