public class Port extends Thread { 
  // return a Message from the Queue in this Port, otherwise block
  public Message Receive() {
  }
  // send a Message to this Port, unblock any blocked receivers
  public void Send(Message msg) {
  }
}