Efficient gateway synthesis from formal specifications
暂无分享,去创建一个
[1] Björn Pehrson,et al. Protocol Verification for OSI , 1990, Comput. Networks ISDN Syst..
[2] Kaoru Okumura. A formal protocol conversion method , 1986, SIGCOMM '86.
[3] Simon S. Lam. Protocol Conversion , 1988, IEEE Trans. Software Eng..
[4] Gregor von Bochmann,et al. On the Construction of Submodule Specifications and Communication Protocols , 1983, TOPL.
[5] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.
[6] Greg N. Frederickson,et al. Data Structures for On-Line Updating of Minimum Spanning Trees, with Applications , 1985, SIAM J. Comput..
[7] Krishan K. Sabnani. An algorithmic technique for protocol verification , 1988, IEEE Trans. Commun..
[8] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .
[9] Shimon Even,et al. An On-Line Edge-Deletion Problem , 1981, JACM.
[10] Paul E. Green. Protocol Conversion , 1986, IEEE Trans. Commun..
[11] Frederick C. Hennie,et al. Finite-state Models for Logical Machines , 1968 .
[12] J. Auerbach. A protocol conversion software toolkit , 1989, SIGCOMM 1989.
[13] Robert E. Tarjan,et al. Three Partition Refinement Algorithms , 1987, SIAM J. Comput..
[14] Kenneth L. Calvert,et al. Deriving a Protocol Converter: A Top-Down Method , 1989, SIGCOMM.
[15] Colin H. West. An Automated Technique of Communications Protocol Validation , 1978, IEEE Trans. Commun..
[16] Gregor von Bochmann,et al. A Survey of Formal Methods , 1982 .
[17] M.T. Liu,et al. A modular approach to constructing protocol converters , 1990, Proceedings. IEEE INFOCOM '90: Ninth Annual Joint Conference of the IEEE Computer and Communications Societies@m_The Multiple Facets of Integration.
[18] C. A. R. Hoare,et al. Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.