Verification of the Multistream Protocol (MSP) using COSPAN

Thomas F. La Porta; Mischa Schwartz

doi:10.1007/BF01384081

Verification of the Multistream Protocol (MSP) using COSPAN

Thomas F. La Porta, Mischa Schwartz

Research output: Contribution to journal › Article › peer-review

1 Scopus citations

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

Original language	English (US)
Pages (from-to)	123-153
Number of pages	31
Journal	Formal Methods in System Design
Volume	4
Issue number	2
DOIs	https://doi.org/10.1007/BF01384081
State	Published - Feb 1 1994

All Science Journal Classification (ASJC) codes

Software
Theoretical Computer Science
Hardware and Architecture

Access to Document

10.1007/BF01384081

Cite this

@article{9df258d4f1b44cecbf642b9aed0c4deb,

title = "Verification of the Multistream Protocol (MSP) using COSPAN",

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",

author = "{La Porta}, {Thomas F.} and Mischa Schwartz",

year = "1994",

month = feb,

day = "1",

doi = "10.1007/BF01384081",

language = "English (US)",

volume = "4",

pages = "123--153",

journal = "Formal Methods in System Design",

issn = "0925-9856",

publisher = "Springer Netherlands",

number = "2",

}

TY - JOUR

T1 - Verification of the Multistream Protocol (MSP) using COSPAN

AU - La Porta, Thomas F.

AU - Schwartz, Mischa

PY - 1994/2/1

Y1 - 1994/2/1

N2 - 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

AB - 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

UR - http://www.scopus.com/inward/record.url?scp=0028378673&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0028378673&partnerID=8YFLogxK

U2 - 10.1007/BF01384081

DO - 10.1007/BF01384081

M3 - Article

AN - SCOPUS:0028378673

SN - 0925-9856

VL - 4

SP - 123

EP - 153

JO - Formal Methods in System Design

JF - Formal Methods in System Design

IS - 2

ER -

Verification of the Multistream Protocol (MSP) using COSPAN

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this