Skip to main content
SpringerLink
Log in

Verification of the Multistream Protocol (MSP) using COSPAN

  • Published:
Formal Methods in System Design Aims and scope Submit manuscript

Abstract

This article presents the verification of several key properties of the MultiStream Protocol (MSP), a new feature-rich transport protocol. The verification was performed using the Coordination Specification Analyzer (COSPAN). The verification of this protocol presented many challenges due to the complexity of the protocol and its implementation architecture

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Z. Har' El and R.P. Kurshan. Software for analytical development of communications protocols.AT& T Technical Journal, 69(1), January/February, 1990.

  2. T.F. La Porta and M. Schwartz. The MultiStream Protocol: A highly flexible high-speed transport protocol.IEEE Journal on Selected Areas in Communications, 11(4), May 1993.

  3. Z. Haas. A communication architecture for high-speed networking.IEEE Network Magazine, 5(1), Junuary 1991.

  4. Transmission Control Protocol-DARPA Internet Protocol Program Specification. RFC 793, September 1981.

  5. XTP Protocol Definition, Revision 3.4. Protocol Engines, CA, 1989.

  6. T.F. La Porta and M. Schwartz. A high-speed protocol parallel implementation: Design and analysis,High Performance Networking, IV: Proceedings of the 4th IFIP Conference on High Performance Networking. Ed. A. Danthine, O. Spaniol, North-Holland, Liege, Belgium, December 1992.

    Google Scholar 

  7. R.P., Kurshan. Analysis of discrete event coordination.Lecture Notes in Computer Science, 430: 414–453, 1990.

    Google Scholar 

  8. S.L. Murphy and A.U. Shankar. Connection management for transport layer: Service specification and protocol verification.IEEE Transactions on Communications, 39(12), December 1991.

Download references

Author information

Authors and Affiliations

  1. AT& T Bell Laboratories, 101 Crawfords Corner Rd., Rm. 4F-531, P.O. Box 3030, 07733-3030, Holmdel, NJ

    Thomas F. La Porta

  2. Department of Electrical Engineering & Center for Telecommunications Research, Columbia University, New York, NY

    Mischa Schwartz

Authors
  1. Thomas F. La Porta
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mischa Schwartz
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

La Porta, T.F., Schwartz, M. Verification of the Multistream Protocol (MSP) using COSPAN. Form Method Syst Des 4, 123–153 (1994). https://doi.org/10.1007/BF01384081

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01384081

Key words

Search

Navigation