1. Cobb J., “Flow Theory and the Analysis of Real-Time Protocols”, Ph.D. Thesis, in preparation. Expected, 1995.
2. CG93] Cobb J., Gouda M., “Flow Theory: Verification of Rate-Reservation Protocols”, International Conference on Network Protocols,1993. Submitted for journal publication.
3. Cobb J., Gouda M., “Inception-Time Multicast”, 1994, in preparation. [Doe90] Doeringer W. et. al., “A Survey of Light-Weight Transport Protocols for High-Speed Networks”, IEEE Transactions on Communications, Vol. 38, No. 11, p. 2025.
4. Florin G., Toinard C.,’A New Way to Design Casually and Totally Ordered Multicast Protocols“, Operating Systems Review, 1993, pp 7783.
5. Gouda M., “Protocol Verification Made Simple”, Computer Networks and ISDN Systems, Vol. 25, 1993, pp. 969–980.