메뉴 건너뛰기




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)
  • 2
    • 21544436521 scopus 로고
    • Towards a formal semantics of message sequence charts
    • O Færgemand and A. Sarma (Eds.), Darmstadt, 1993, North-Holland, Amsterdam
    • 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).
    • (1993) SDL'93 Using Objects, Proc. 6th SDL Forum
    • De Man, J.1
  • 3
    • 0000876088 scopus 로고
    • Towards a petri net based semantics definition for message sequence charts
    • O. Færgemand and A. Sarma (Eds.), Darmstadt, 1993, North-Holland, Amsterdam
    • 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).
    • (1993) SDL'93 Using Objects, Proc. 6th SDL Forum
    • Grabowski, J.1    Graubmann, P.2    Rudolph, E.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.