Modeling of Initial Connection Handling in TCP Using Contour/Transition Nets

Marshall T. Rose. Modeling of Initial Connection Handling in TCP Using Contour/Transition Nets. In Yechiam Yemini, Robert E. Strom, Shaula Yemini, editors, Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984. pages 193-211, North-Holland, 1984.

Abstract

Abstract is missing.