San-qi Li Chia-lin Hwang On Input State Space Reduction and Buffer Noneffective Region. 1018-1028 1994 INFOCOM db/conf/infocom/infocom1994-3.html#LiH94