UNSPECIFIED (2005) Message sequence charts: A survey. In: 5th International Conference on Application of Concurrency to System Design, JUN 07-09, 2005, St Malo, FRANCE.

Full text not available from this repository.

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
Date:	2005
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
URI:	http://wrap.warwick.ac.uk/id/eprint/34171

Data sourced from Thomson Reuters' Web of Knowledge

Request changes to a record

Actions (login required)

View Item