The formalization of Message Sequence Charts

Computer Networks

Volumn 28, Issue 12, 1996, Pages 1643-1657

  Mauw, S ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

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

References (3)

1. F. Belina, D. Hogrefe and A. Sarma, SDL with Applications from Protocol Specification, Prentice-Hall, Englewood Cliffs, N.J. (1991).
2. J. de Man, Towards a formal semantics of Message Sequence Charts, in: O Færgemand and A. Sarma (Eds.), SDL'93 Using Objects, Proc. 6th SDL Forum, Darmstadt, 1993, North-Holland, Amsterdam (1993).
3. J. Grabowski, P. Graubmann and E. Rudolph, Towards a Petri Net based semantics definition for Message Sequence Charts, in: O. Færgemand and A. Sarma (Eds.), SDL'93 Using Objects, Proc. 6th SDL Forum, Darmstadt, 1993, North-Holland, Amsterdam (1993).