Efficient gateway synthesis from formal specifications

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Efficient gateway synthesis from formal specifications

Full text

Pdf (754 KB)

Source

Applications, Technologies, Architectures, and Protocols for Computer Communication archive
Proceedings of the conference on Communications architecture & protocols table of contents

Zurich, Switzerland

Pages: 89 - 97

Year of Publication: 1991

ISBN:0-89791-444-9

Also published in ...

Authors

David M. Kristol	AT&T Bell Laboratories, Murray Hill, NJ
David Lee	AT&T Bell Laboratories, Murray Hill, NJ
Arun N. Netravali	AT&T Bell Laboratories, Murray Hill, NJ
Krishan K. Sabnani	AT&T Bell Laboratories, Murray Hill, NJ

Sponsor

SIGCOMM: ACM Special Interest Group on Data Communication

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 8, Citation Count: 2

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/115992.116002 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	Au89	J. Auerbach, A protocol conversion software toolkit, Symposium proceedings on Communications architectures & protocols, p.259-270, September 25-27, 1989, Austin, Texas, United States
	Bo87	G. v. Bochmann, Principles of Protocol Conversion and Communication Gateways, Publication # 624, Universite de Montreal, Montreal, Canada.
	BS83	G. v. Bochmann and C. A. Sunshine, "A Survey of Formal Methods," Computer Networks and Protocols, P. E. Green (Ed.), pp. 561-578, Plenum Press, May, 1983.
	CL89	K. L. Calvert , S. S. Lam, Deriving a protocol converter: a top-down method, Symposium proceedings on Communications architectures & protocols, p.247-258, September 25-27, 1989, Austin, Texas, United States
	ES81	Yossi Shiloach , Shimon Even, An On-Line Edge-Deletion Problem, Journal of the ACM (JACM), v.28 n.1, p.1-4, Jan. 1981 [doi>10.1145/322234.322235]
	Fr85	G. N. Frederickson, "Data Structures for On-line Updating of Minimum Spanning Trees with Applications," SIAM J. Comput., Vol. 14, pp. 781-798, 1985.
	Gr86	P. E. Green, "Protocol Conversion," IEEE Trans. Comm., Vol. COM-34, No. 3., pp. 257-268, March, 1986.
	Ha82	D. Harel, "On-line Maintenance of the Connected Components of Dynamic Graphs," Unpublished manuscript, 1982.
	He68	F. C. Hennie, Finite-State Models for Logical Machines, John Wiley & Sons, Inc., 1968.
	Ho78	C. A. R. Hoare, Communicating sequential processes, Communications of the ACM, v.21 n.8, p.666-677, Aug. 1978 [doi>10.1145/359576.359585]
	HU79	John E. Hopcroft , Jeffrey D. Ullman, Introduction To Automata Theory, Languages, And Computation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990
	La88	S. S. Lam, Protocol Conversion, IEEE Transactions on Software Engineering, v.14 n.3, p.353-362, March 1988 [doi>10.1109/32.4655]
	MB83	Philip Merlin , Gregor V. Bochmann, On the Construction of Submodule Specifications and Communication Protocols, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.1, p.1-25, Jan. 1983 [doi>10.1145/357195.357196]
	Mi80	R. Milner, A Calculus of Communicating Systems, Springer-Verlag New York, Inc., Secaucus, NJ, 1982
	Ok86	K Okumura, A formal protocol conversion method, Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, p.30-37, August 05-07, 1986, Stowe, Vermont, United States
	Pe90	Björn Pehrson, Protocol verification for OSI, Computer Networks and ISDN Systems, v.18 n.3, p.185-201, April 1990 [doi>10.1016/0169-7552(90)90133-D]
	PT87	Robert Paige , Robert E. Tarjan, Three partition refinement algorithms, SIAM Journal on Computing, v.16 n.6, p.973-989, December 1, 1987 [doi>10.1137/0216062]
	Sa88	K. Sabnani, "An Algorithmic Technique for Protocol Verification," IEEE Trans. Comm., Vol. COM-36, No. 8, pp. 924-931, August, 1988.
	We78	C. H. West, "An Automated Technique of Communications Protocol Validation," IEEE Trans. Comm., Vol. COM-26, No. 8, pp. 1271-1275, August, 1978.
	YCL90	Y.-W. Yao, W.-S. Chen, and M. T. Liu, "A Modular approach to constructing Protocol Converters," Proc. INFOCOM '90, pp. 572-579, June 1990.

CITED BY 2

	David M. Kristol , David Lee , Arun N. Netravali , Krishan Sabnani, A polynomial algorithm for gateway generation from formal specifications, IEEE/ACM Transactions on Networking (TON), v.1 n.2, p.217-229, April 1993
	Zhongping Tao , Gregor v. Bochmann , Rachida Dssouli, A formal method for synthesizing optimized protocol converters and its application to mobile data networks, Mobile Networks and Applications, v.2 n.3, p.259-269, Dec. 1997