The Library
Message sequence charts: A survey
Tools
UNSPECIFIED (2005) Message sequence charts: A survey. In: 5th International Conference on Application of Concurrency to System Design, St Malo, FRANCE, JUN 07-09, 2005. Published in: ACSD2005: Fifth International Conference on Application of Concurrency to System Design, Proceedings pp. 2-4. ISBN 0-7695-2363-3.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Abstract
Message sequence charts (MSC) are a graphical notation standardized by the ITU and used for the description of communication scenarios between asynchronous processes. This talk concerns the formal analysis of MSC-based specifications in relation with communicating finite-state machines. We discuss two basic validation problems about MSCs specifications, model-checking and implementability.
Item Type: | Conference Item (UNSPECIFIED) | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Journal or Publication Title: | ACSD2005: Fifth International Conference on Application of Concurrency to System Design, Proceedings | ||||
Publisher: | IEEE COMPUTER SOC | ||||
ISBN: | 0-7695-2363-3 | ||||
Official Date: | 2005 | ||||
Dates: |
|
||||
Number of Pages: | 3 | ||||
Page Range: | pp. 2-4 | ||||
Publication Status: | Published | ||||
Title of Event: | 5th International Conference on Application of Concurrency to System Design | ||||
Location of Event: | St Malo, FRANCE | ||||
Date(s) of Event: | JUN 07-09, 2005 |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |