External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 65, Issue 7

    1 -- 17Purandar Bhaduri, R. Venkatesh, Girish Keshav Palshikar. Formal Techniques for Analysing Scenarios using Message Sequence Charts
    18 -- 33Manfred Broy. Message Sequence Charts in the Development Process - Role and Limitations
    34 -- 50Ingolf Krüger. Specifying Services with UML and UML-RT
    51 -- 64Doron Peled. Specification and Verification using Message Sequence Charts
    65 -- 84Sebastián Uchitel, Jeff Kramer, Jeff Magee. Implied Scenario Detection in the Presence of Behaviour Constraints
    85 -- 99Tong Zheng, Ferhat Khendek, Loïc Hélouët. A Semantics for Timed MSC
    100 -- 0Benoît Caillaud, Anca Muscholl. Preface
    runs on