\begin{thebibliography}{XXXXXXXXXX}

\bibitem[Ahn {\it et al} 95]{ahn:vegas}
J.~S. Ahn, P.~Danzig, Z.~Liu, and L.~Yan.
\newblock ``{Evaluation of {TCP} {Vegas}: Emulation and {Experiment}}''.
\newblock In {\em Proceedings of the 1995 SIGCOMM Conference}, pp 185--195.
\newblock August 1995.

\bibitem[Ait-Hellal \& Altman 96]{hellal:vegprobs}
O.~Ait-Hellal and E.~Altman.
\newblock ``{Problems in TCP Vegas and TCP Reno}''.
\newblock In {\em Congress De Nouvelles Architectures pour les Communications}.
\newblock Held in Paris, France.
\newblock December 1996.

\bibitem[Benmohamed \& Meerkov 93]{lofti:congestnode}
L.~Benmohamed and S.~M. Meerkov.
\newblock ``{Feedback Control of Congestion in Packet Switched Networks: The
  Case of a Single Congested Node}''.
\newblock {\em IEEE Transactions on Networking}, Vol.~1, No.~6, pp 693--707.
\newblock December 1993.

\bibitem[Bennett \& {Des Jardins} 94]{bennett:beatdown}
J.~Bennett and G.~T. {Des Jardins}.
\newblock ``{Comments on the July PRCA Rate Control Baseline}''.
\newblock Technical Report 94-0682, ATM Forum Traffic Management subworking
  group.
\newblock July 1994.

\bibitem[Braden \& Postel 87]{rfc:1009}
R.~Braden and J.~Postel.
\newblock ``{Requirements for Internet Gateways}''.
\newblock RFC 1009.
\newblock January 1987.

\bibitem[Brakmo \& Peterson 95]{brakmo:tcpproblems}
L.~Brakmo and L.~Peterson.
\newblock ``{Performance Problems in BSD4.4 TCP}''.
\newblock {\em Computer Communication Review}, Vol.~25, No.~5, pp 69--86.
\newblock October 1995.

\bibitem[Brakmo {\it et al} 94]{brakmo:tcpvegas}
L.~S. Brakmo, S.~W. O'Malley, and L.~L. Peterson.
\newblock ``{{TCP} Vegas: New Techniques for Congestion Detection and
  Avoidance}''.
\newblock In {\em Proceedings of the 1994 SIGCOMM Conference}, pp 24--35.
\newblock August 1994.

\bibitem[Cerf \& Kahn 74]{cerf:pni}
V.~Cerf and R.~Kahn.
\newblock ``{A Protocol for Packet Network Intercommunications}''.
\newblock {\em IEEE Transactions on Communications}, Vol.~22, No.~5, pp
  637--648.
\newblock May 1974.

\bibitem[Charney 94]{charney:maximin}
A.~Charney.
\newblock ``{An Algorithm for Rate Allocation in a Packet-Switched Network with
  Feedback}''.
\newblock M.Sc. thesis, Department of EECS, MIT.
\newblock May 1994.

\bibitem[Charney {\it et al} 94]{charney:eri}
A.~Charney, D.~Clark, and R.~Jain.
\newblock ``{Congestion Control with Explicit Rate Indication}''.
\newblock Technical Report 94-0692, ATM Forum Traffic Management subworking
  group.
\newblock July 1994.

\bibitem[Cheriton \& William\-son 89]{cheriton:vmtptr}
D.~Cheriton and C.~William\-son.
\newblock ``{VMTP as the Transport Layer for High-Performance Distributed
  Systems}''.
\newblock {\em IEEE Communications Magazine}, pp 37--44.
\newblock June 1989.

\bibitem[Cheriton 86]{cheriton:vcmtp}
D.~Cheriton.
\newblock ``{VMTP: A Transport Protocol for the Next Generation of
  Communication Systems}''.
\newblock In {\em Proceedings of the 1986 SIGCOMM Conference}, pp 406--415.
\newblock August 1986.

\bibitem[Clark 82]{rfc:813}
D.~D. Clark.
\newblock ``{Window and Acknowledgment Strategy in TCP}''.
\newblock RFC 813.
\newblock July 1982.

\bibitem[Clark 88]{clark:tcpdesign}
D.~D. Clark.
\newblock ``{The Design Philosophy of the DARPA Internet Protocols}''.
\newblock In {\em Proceedings of the 1988 SIGCOMM Conference}, pp 106--114.
\newblock August 1988.

\bibitem[Clark {\it et al} 87]{clark:netblt}
D.~Clark, M.~Lambert, and L.~Zhang.
\newblock ``{NETBLT: A High Throughput Transport Protocol}''.
\newblock In {\em Proceedings of the 1987 SIGCOMM Conference}, pp 353--359.
\newblock August 1987.

\bibitem[Comer 88]{comer:tcp}
D.~Comer.
\newblock ``{Internetworking with TCP/IP --- Principles, Protocols and
  Architecture, 1st Edition}''.
\newblock Prentice-Hall, ISBN 0-13-470188-7.
\newblock 1988.

\bibitem[Comer 95]{comer:tcpv2}
D.~Comer.
\newblock ``{Internetworking with TCP/IP --- Principles, Protocols and
  Architecture, 3rd Edition}''.
\newblock Prentice-Hall, ISBN 0-13-216987-8.
\newblock 1995.

\bibitem[Davin \& Heybey 90]{davin:simqueue}
J.~R. Davin and A.~T. Heybey.
\newblock ``{A Simulation Study of Fair Queueing and Policy Enforcement}''.
\newblock {\em Computer Communication Review}, Vol.~20, No.~5, pp 23--29.
\newblock October 1990.

\bibitem[Davis 72]{davis:permits}
D.~W. Davis.
\newblock ``{The Control of Congestion in Packet-Switching Networks}''.
\newblock {\em IEEE Transactions on Communications}, Vol.~20, No.~6, pp
  547--550.
\newblock June 1972.

\bibitem[Demers {\it et al} 89]{demers:fairq}
A.~Demers, S.~Keshav, and S.~Shenker.
\newblock ``{Analysis and Simulation of a Fair Queueing Algorithm}''.
\newblock In {\em Proceedings of the 1989 SIGCOMM Conference}, pp 1--12.
\newblock September 1989.

\bibitem[Eldridge 92]{eldridge:ratecontrols}
C.~A Eldridge.
\newblock ``{Rate Controls in Standard Transport Layer Protocols}''.
\newblock {\em Computer Communication Review}, Vol.~22, No.~3, pp 106--120.
\newblock July 1992.

\bibitem[Fendick {\it et al} 92]{fendick:rateanal}
K.~W. Fendick, M.~A. Rodruigues, and A.~Weiss.
\newblock ``{Analysis of a Rate-Based Control Strategy with Delayed
  Feedback}''.
\newblock In {\em Proceedings of the 1992 SIGCOMM Conference}, pp 136--147.
\newblock September 1992.

\bibitem[Fletcher 82]{flet:crc32}
J.~Fletcher.
\newblock ``{An Arithmetic Checksum for Serial Transmissions}''.
\newblock {\em IEEE Transactions on Communications}, Vol.~30, No.~1, pp
  247--252.
\newblock January 1982.

\bibitem[Floyd \& Jacobson 91]{floyd:phase}
S.~Floyd and V.~Jacobson.
\newblock ``{Traffic Phase Effects in Packet-Switched Networks}''.
\newblock {\em Computer Communication Review}, Vol.~21, No.~2, pp 26--42.
\newblock April 1991.

\bibitem[Floyd \& Jacobson 93]{floyd:redgate}
S.~Floyd and V.~Jacobson.
\newblock ``{Random Early Detection Gateways for Congestion Avoidance}''.
\newblock {\em ACM Transactions on Networks}, Vol.~1, No.~4, pp 397--413.
\newblock August 1993.

\bibitem[Haas 91]{haas:adapt}
Z.~Haas.
\newblock ``{Adaptive Admission Congestion Control}''.
\newblock {\em Computer Communication Review}, Vol.~21, No.~5, pp 58--76.
\newblock October 1991.

\bibitem[Hashem 90]{hashem:randrop}
E.~Hashem.
\newblock ``{Random Drop Congestion Control}''.
\newblock M.Sc. thesis, Department of CS, MIT.
\newblock 1990.

\bibitem[Hluchyj 94]{hluch:prca}
M.~Hluchyj.
\newblock ``{Closed-Loop Rate-Based Traffic Management}''.
\newblock Technical Report 94-0211R3, ATM Forum Traffic Management subworking
  group.
\newblock April 1994.

\bibitem[Holzmann 90]{holz:valgs}
G.~J. Holzmann.
\newblock ``{Algorithms for Automated Protocol Verification}''.
\newblock {\em AT\&T Technical Journal}, Vol.~69, No.~1, pp 32--44.
\newblock January 1990.

\bibitem[Holzmann 91]{holzmann:dvcp}
G.~Holzmann.
\newblock ``{Design and Validation of Computer Protocols}''.
\newblock Prentice-Hall, ISBN 0-13-539834-7.
\newblock 1991.

\bibitem[Holzmann 97]{holz:modelspin}
G.~Holzmann.
\newblock ``{The Model Checker Spin}''.
\newblock {\em IEEE Transactions on Software Engineering}, Vol.~23, No.~5, pp
  279--295.
\newblock May 1997.

\bibitem[Jacobson 88]{jacobson:congestion}
V.~Jacobson.
\newblock ``{Congestion Avoidance and Control}''.
\newblock In {\em Proceedings of the 1988 SIGCOMM Conference}, pp 314--329.
\newblock August 1988.

\bibitem[Jain \& Ramakrishnan 88]{jain:congestavoid}
R.~Jain and K.~K. Ramakrishnan.
\newblock ``{Congestion Avoidance in Computer Networks with a Connectionless
  Network Layer: Concepts, Goals and Methodology}''.
\newblock In {\em Proceedings of the 1988 Computer Networking Symposium}, pp
  134--143.
\newblock April 1988.

\bibitem[Jain 86]{jain:timeoutscheme}
R.~Jain.
\newblock ``{A Timeout-Based Congestion Control Scheme for Window
  Flow-Controlled Networks}''.
\newblock In {\em Innovations in Internetworking}, pp 289--293. Artech House.
\newblock 1986.

\bibitem[Jain 90]{jain:congcontrol}
R.~Jain.
\newblock ``{Congestion Control in Computer Networks: Issues and Trends}''.
\newblock {\em IEEE Network Magazine}, Vol.~4, No.~3, pp 24--30.
\newblock May 1990.

\bibitem[Jain 96]{jain:atmccsurvey}
R.~Jain.
\newblock ``{Congestion Control and Traffic Management in ATM Networks: Recent
  Advances and a Survey}''.
\newblock {\em Computer Networks and ISDN Systems}, Vol.~28, No.~13, pp
  1723--1738.
\newblock October 1996.

\bibitem[Jain {\it et al} 87]{jain:congavoid}
R.~Jain, K.~K. Ramkrishnan, and D.~M. Chiu.
\newblock ``{Congestion Avoidance in Computer Networks with a Connectionless
  Network Layer}''.
\newblock Technical Report TR-506, Digital Equipment Corporation.
\newblock 1987.

\bibitem[Kalmanek {\it et al} 90]{keshav:kkk}
Kalmanek, Kanakia, and Keshav.
\newblock ``{Rate Controlled Servers for Very High Speed Networks}''.
\newblock In {\em Proceedings of GlobeCom '90}.
\newblock 1990.

\bibitem[Karn \& Partridge 87]{karn:rttestimates}
P.~Karn and C.~Partridge.
\newblock ``{Improving Round-Trip Time Estimates in Reliable Transport
  Protocols}''.
\newblock In {\em Proceedings of the 1987 SIGCOMM Conference}, pp 2--7.
\newblock August 1987.

\bibitem[Majithia \& {\it et al} 79]{maj:ecct}
J.~C. Majithia {\it et~al}.
\newblock ``{Experiments in Congestion Control Techniques}''.
\newblock In {\em Proceedings of the International Symposium on Flow Control in
  Computer Networks}, pp 211--234.
\newblock February 1979.

\bibitem[Mankin \& Ramakrishnan 91]{rfc:1254}
A.~Mankin and K.~Ramakrishnan.
\newblock ``{Gateway Congestion Control Survey}''.
\newblock RFC 1254.
\newblock August 1991.

\bibitem[Mankin 90]{mankin:randrop}
A.~Mankin.
\newblock ``{Random Drop Congestion Processing}''.
\newblock In {\em Proceedings of the 1990 SIGCOMM Conference}, pp 1--29.
\newblock September 1990.

\bibitem[Mishra {\it et al} 96]{mishra:hopbyhop}
P.~P. Mishra, H.~Kanakia, and S.~K. Tripathi.
\newblock ``{On Hop-by-Hop Rate-Based Congestion Control}''.
\newblock {\em IEEE/ACM Transactions on Networking}, Vol.~4, No.~2, pp
  224--239.
\newblock April 1996.

\bibitem[Nagle 84]{rfc:896}
J.~Nagle.
\newblock ``{Congestion Control in IP/TCP Internetworks}''.
\newblock RFC 896.
\newblock January 1984.

\bibitem[Nagle 87]{nagle:infpacket}
J.~Nagle.
\newblock ``{On Packet Switches with Infinite Storage}''.
\newblock {\em IEEE Transactions on Communications}, Vol.~35, No.~4, pp
  435--438.
\newblock April 1987.

\bibitem[Newman 94]{newman:becn}
P.~Newman.
\newblock ``{Traffic Management for ATM Local Area Networks}''.
\newblock {\em IEEE Communications Magazine}, Vol.~32, No.~8, pp 44--50.
\newblock August 1994.

\bibitem[Partridge 94]{partridge:atm}
C.~Partridge.
\newblock ``{Gigabit Networking}'', chapter~4, pp 61--87.
\newblock Addison-Wesley.
\newblock ISBN 0-201-56333-9.
\newblock 1994.

\bibitem[Postel 80]{rfc:768}
J.~B. Postel.
\newblock ``{User Datagram Protocol}''.
\newblock RFC 768.
\newblock August 1980.

\bibitem[Postel 81a]{rfc:792}
J.~B. Postel.
\newblock ``{Internet Control Message Protocol}''.
\newblock RFC 792.
\newblock September 1981.

\bibitem[Postel 81b]{rfc:793}
J.~B. Postel.
\newblock ``{Transmission Control Protocol}''.
\newblock RFC 793.
\newblock September 1981.

\bibitem[Reynolds \& Postel 87]{rfc:1000}
J.~Reynolds and J.~Postel.
\newblock ``{The Request For Comments Reference Guide}''.
\newblock RFC 1000.
\newblock August 1987.

\bibitem[Roberts 94]{roberts:eprca}
L.~Roberts.
\newblock ``{Enhanced PRCA (Proportional Rate-Control Algorithm)}''.
\newblock Technical Report 94-0735R1, ATM Forum Traffic Management subworking
  group.
\newblock August 1994.

\bibitem[Robinson {\it et al} 90]{robin:bbncongest}
J.~Robinson, D.~Friedman, and M.~Steenstrup.
\newblock ``{Congestion Control in BBN Packet-Switched Networks}''.
\newblock {\em Computer Communication Review}, Vol.~20, No.~1, pp 76--90.
\newblock January 1990.

\bibitem[Rose 92]{rose:qbit}
O.~Rose.
\newblock ``{The Q-Bit Scheme}''.
\newblock {\em Computer Communication Review}, Vol.~22, No.~2, pp 29--42.
\newblock April 1992.

\bibitem[Sanders \& Weaver 90]{sanders:xtp}
R.~M. Sanders and A.~C. Weaver.
\newblock ``{The Xpress Transfer Protocol (XTP) --- A Tutorial}''.
\newblock {\em Computer Communication Review}, pp 67--80.
\newblock October 1990.

\bibitem[Schwartz 82]{schwartz:sna}
M.~Schwartz.
\newblock ``{Performance Analysis of the SNA Route Pacing Control}''.
\newblock {\em IEEE Transactions on Communications}, Vol.~30, No.~1, pp
  172--184.
\newblock January 1982.

\bibitem[Shenker 94]{shenk:fairshare}
S.~Shenker.
\newblock ``{Making Greed Work in Networks: {A} Game-Theoretic Analysis of
  Switch Service Disciplines}''.
\newblock In {\em Proceedings of the 1994 SIGCOMM Conference}, pp 47--57.
\newblock September 1994.

\bibitem[Sidi {\it et al} 93]{sidi:inratereg}
M.~Sidi, W.~Liu, I.~Cidon, and I.~Gopal.
\newblock ``{Congestion Control Through Input Rate Regulation}''.
\newblock {\em IEEE Transactions on Communications}, Vol.~41, No.~3, pp
  471--477.
\newblock March 1993.

\bibitem[Stallings 91]{stallings:dcc}
W.~Stallings.
\newblock ``{Data and Computer Communications, 3rd Edition}''.
\newblock Maxwell Macmillan International, ISBN 0-02-946478-1.
\newblock 1991.

\bibitem[Stallings 96]{stall:ipv6}
W.~Stallings.
\newblock ``{IPv6: The New Internet Protocol}''.
\newblock {\em IEEE Communications Magazine}, Vol.~34, No.~7, pp 96--108.
\newblock July 1996.

\bibitem[Turner 86]{turner:leakybucket}
J.~Turner.
\newblock ``{New Directions in Communications}''.
\newblock {\em IEEE Communications Magazine}, Vol.~24, No.~10, pp 8--15.
\newblock October 1986.

\bibitem[Wang \& Crowcroft 81]{wang:tahoeloss}
Z.~Wang and J.~Crowcroft.
\newblock ``{Eliminating Periodic Packet Loss in the 4.3-Tahoe BSD TCP
  Congestion Control Algorithm}''.
\newblock {\em Computer Communication Review}, Vol.~11, No.~1, pp 9--16.
\newblock January 1981.

\bibitem[Wang \& Crowcroft 91]{wang:tri-s}
Z.~Wang and J.~Crowcroft.
\newblock ``{A New Congestion Control Scheme: Slow Start and Search (Tri-S)}''.
\newblock {\em Computer Communication Review}, Vol.~21, No.~1, pp 32--43.
\newblock January 1991.

\bibitem[William\-son \& Cheriton 91]{williamson:lossload}
C.~L. William\-son and D.~R. Cheriton.
\newblock ``{Loss-Load Curves: Support for Rate-Based Congestion Control in
  High-Speed Datagram Networks}''.
\newblock In {\em Proceedings of the 1991 SIGCOMM Conference}, pp 17--28.
\newblock September 1991.

\bibitem[Zhang 86]{zhang:tcptimers}
L.~Zhang.
\newblock ``{Why TCP Timers Don't Work Well}''.
\newblock In {\em Proceedings of the 1986 SIGCOMM Conference}, pp 397--405.
\newblock August 1986.

\bibitem[Zhang 91]{zhang:virtclock}
L.~Zhang.
\newblock ``{VirtualClock: A New Traffic Control Algorithm For Packet-Switched
  Networks}''.
\newblock {\em ACM Transactions on Computer Systems}, Vol.~9, No.~2, pp
  101--124.
\newblock May 1991.

\end{thebibliography}