![]() |
Volumn 28, Issue 12, 1996, Pages 1643-1657
|
The formalization of Message Sequence Charts
|
Author keywords
Message Sequence Charts; Process algebra; Semantics
|
Indexed keywords
|
EID: 0343825115
PISSN: 13891286
EISSN: None
Source Type: Journal
DOI: 10.1016/0169-7552(95)00123-9 Document Type: Article |
Times cited : (25)
|
References (3)
|