TY - JOUR
T1 - Message sequence charts
AU - Genest, Biaise
AU - Muscholl, Anca
AU - Peled, Doron
PY - 2004
Y1 - 2004
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=35048891501&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-27755-2_15
DO - 10.1007/978-3-540-27755-2_15
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:35048891501
SN - 0302-9743
VL - 3098
SP - 537
EP - 558
JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ER -