John Nagle

Publication Activity (10 Years)

Years Active: 1983-1995
Publications (10 Years): 0

Publications

John Nagle
Congestion control in IP/TCP internetworks. Comput. Commun. Rev. 25 (1) (1995)
John Nagle
Realistic animation of legged running on rough terrain. CA (1995)
John Nagle
On Packet Switches With Infinite Storage. RFC 970 (1985)
John Nagle
Congestion Control in IP/TCP Internetworks. RFC 896 (1984)
John Nagle
Congestion control in IP/TCP internetworks. Comput. Commun. Rev. 14 (4) (1984)
John Nagle, Scott Johnson
Practical Program Verification: Automatic Program Proving for Real-Time Embedded Software. POPL (1983)