IEEE INFOCOM (12th 1993 San Francisco, Calif.)