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.