[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
article
Free access

Efficient gateway synthesis from formal specifications

Published: 01 August 1991 Publication History
First page of PDF

References

[1]
J. Auerbach, "A Protocol Conversion Software Toolkit," Proc. ACM SIGCOMM '89, Austin, Texas, pp. 259-270, Sept., 1989.
[2]
G. v. Bochmann, Principles of Protocol Conversion and Communication Gateways, Publication # 624, Universite de Montreal, Montreal, Canada.
[3]
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.
[4]
K. L. Calvert and S. S. Lam, "Deriving a Protocol Converter: A Top-down Approach," Proc. ACM SIGCOMM '89, Austin, Texas, pp. 247-258, Sept., 1989.
[5]
S. Even and Y. Shiloach, "An On-line Edge Deletion Problem," J. Assoc. Comput. Mach, Vol. 28, pp. 1-4, 1981.
[6]
G. N. Frederickson, "Data Structures for On-line Updating of Minimum Spanning Trees with Applications," SIAM J. Comput., Vol. 14, pp. 781-798, 1985.
[7]
P. E. Green, "Protocol Conversion," IEEE Trans. Comm., Vol. COM-34, No. 3., pp. 257-268, March, 1986.
[8]
D. Harel, "On-line Maintenance of the Connected Components of Dynamic Graphs," Unpublished manuscript, 1982.
[9]
F. C. Hennie, Finite-State Models for Logical Machines, John Wiley & Sons, Inc., 1968.
[10]
C. A. R. Hoare, "Communicating Sequential Processes," Communications of the ACM, Vol. 21, No. 8, pp. 666-677, August, 1978.
[11]
J. E. Hopcroft and J. D. Ullman, Introduction to automata theory, languages, and computation, Addison- Wesley, 1979.
[12]
S. Lam, "protocol Conversion," IEEE Trans. Soft. Engr., Vol. 14, No. 3, pp. 353-362, March, 1988.
[13]
P. M. Merlin and G. v. Bochmann, "On the construction of submodule specifications and communication protocols," ACM Trans. Prog. Lang. and Sys., Vol. 5, No. 1, Jan., t983.
[14]
R. Milner, A Calculus of Communicating Systems, Springer-Verlag, 1980.
[15]
K. Okumura, "A Formal Protocol Conversion Method," Proc. ACM SIGCOMM '86, Stowe, Vermont, pp. 30-37, August 5-7, 1986.
[16]
B. Pehrson, "Protocol Verification for OSi," Computer Networks and iSDN Systems, Vol. 18, No. 3, pp. 185-202, April, 1990.
[17]
R. Paige and R. E. Tarjan, "Three Partition Refinement Algorithms," SIAM J. Comput., Vol. 16, No. 6, pp. 973-989, December, 1987.
[18]
K. Sabnani, "An Algorithmic Technique for Protocol Verification," IEEE Trans. Comm., Vol. COM-36, No. 8, pp. 924-931, August, 1988.
[19]
C. H. West, "An Automated Technique of Communications Protocol Validation," IEEE Trans. Comm., Vol. COM-26, No. 8, pp. 1271-1275, August, 1978.
[20]
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.

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGCOMM Computer Communication Review
ACM SIGCOMM Computer Communication Review  Volume 21, Issue 4
Sept. 1991
300 pages
ISSN:0146-4833
DOI:10.1145/115994
Issue’s Table of Contents
  • cover image ACM Conferences
    SIGCOMM '91: Proceedings of the conference on Communications architecture & protocols
    August 1991
    336 pages
    ISBN:0897914449
    DOI:10.1145/115992
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 August 1991
Published in SIGCOMM-CCR Volume 21, Issue 4

Check for updates

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)65
  • Downloads (Last 6 weeks)9
Reflects downloads up to 31 Dec 2024

Other Metrics

Citations

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media