Verification of the Multistream Protocol (MSP) using COSPAN

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

[1]  Zygmunt J. Haas,et al.  A communication architecture for high-speed networking , 1990, Proceedings. IEEE INFOCOM '90: Ninth Annual Joint Conference of the IEEE Computer and Communications Societies@m_The Multiple Facets of Integration.

[2]  Robert P. Kurshan,et al.  Analysis of Discrete Event Coordination , 1989, REX Workshop.

[3]  Robert P. Kurshan,et al.  Software for analytical development of communications protocols , 1990, AT&T Technical Journal.

[4]  R. P. Kurshan,et al.  Analysis of discrete evnet coordination , 1990 .

[5]  Thomas F. La Porta,et al.  The MultiStream Protocol: A Highly Flexible High-Speed Transport Protocol , 1993, IEEE J. Sel. Areas Commun..

[6]  Z. Haas,et al.  A protocol structure for high-speed communication over broadband ISDN , 1991, IEEE Network.

[7]  Thomas F. La Porta,et al.  A High-Speed Protocol Parallel Implementation: Design and Analysis , 1992, HPN.

[8]  Sandra L. Murphy,et al.  Connection management for the transport layer: service specification and protocol verification , 1991, IEEE Trans. Commun..