UNSPECIFIED (2004) Message sequence charts ADVANCES IN PETRI NETS. In: 4th Advanced Course on Petri Nets, SEP, 2003, Eichstaat, GERMANY.

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 survey compares MSCs and communicating finite-state automata, presenting two fundamental validation problems on MSCs, model-checking and implementability.

Item Type:	Conference Item (UNSPECIFIED)
Subjects:	Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software
Series Name:	LECTURE NOTES IN COMPUTER SCIENCE
Journal or Publication Title:	LECTURES ON CONCURRENCY AND PETRI NETS
Publisher:	SPRINGER-VERLAG BERLIN
ISBN:	3-540-22261-8
ISSN:	0302-9743
Editor:	Desel, J and Reisig, W and Rozenberg, G
Date:	2004
Volume:	3098
Number of Pages:	22
Page Range:	pp. 537-558
Publication Status:	Published
Title of Event:	4th Advanced Course on Petri Nets
Location of Event:	Eichstaat, GERMANY
Date(s) of Event:	SEP, 2003
URI:	http://wrap.warwick.ac.uk/id/eprint/8196

Data sourced from Thomson Reuters' Web of Knowledge

Request changes to a record

Actions (login required)

View Item