An Inproved Method for Constructing Multiphase Communications Protocols
暂无分享,去创建一个
[1] Mohamed G. Gouda,et al. An exercise in constructing multi-phase communication protocols , 1984, Computer Communication Review.
[2] Ming T. Liu,et al. Protocol verification using reachability analysis: the state space explosion problem and relief strategies , 1987, SIGCOMM '87.
[3] Daniel Brand,et al. Towards Analyzing and Synthesizing Protocols , 1980, IEEE Trans. Commun..
[4] Mohamed G. Gouda,et al. Protocol Validation by Fair Progress State Exploration , 1985, Comput. Networks.
[5] C. H. West,et al. General technique for communications protocol validation , 1978 .
[6] Dimitri P. Bertsekas,et al. Data Networks , 1986 .
[7] Douglas Comer,et al. Internetworking with TCP/IP , 1988 .
[8] Mohamed G. Gouda,et al. A discipline for constructing multiphase communication protocols , 1985, TOCS.
[9] Raymond E. Miller,et al. A decomposition method for the analysis and design of finite state protocols , 1983, SIGCOMM '83.
[10] Huai-An Lin. Constructing Protocols with Alternative Functions , 1991, IEEE Trans. Computers.
[11] Carl A. Sunshine,et al. Formal Techniques for Protocol Specification and Verification , 1979, Computer.