MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Compositional message sequence charts." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 9 documents found, showing 1 through 9.
ATOM RSS
  • Compositional message sequence charts  
  • by Elsa L. Gunter, Anca Muscholl, Doron A. Peled — 2001 — In Proc. 7 th Intl. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’01), volume 2031 of Lect. Notes in Comp. Sci
  • …Compositional Message Sequence Charts Elsa L. Gunter 1 , Anca Muscholl 2 , and Doron A. Peled 1 1…
  • Cited by 35 (8 self) – Add To MetaCart
  • Extending Compositional Message Sequence Graphs  
  • by Benedikt Bollig, Martin Leucker, Philipp Lucas — 2002 — In Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2002
  • … message sequence charts (ECMSCs) which subsumes the notion of compositional message sequence charts…
  • Cited by 2 (0 self) – Add To MetaCart
  • unknown title  
  • by unknown authors
  • …) Compositional Message Sequence Charts Elsa L. Gunter, Anca Muscholl and Doron Peled 1 Department of Computer…
  • Add To MetaCart
  • Merging scenarios  
  • by Jacques Klein, Benoit Caillaud, Loïc Hélouët — 2004 — In 9th Int.Workshop on Formal Methods for Industrial Critical Systems (FMICS), ENTCS
  • … of Compositional Message Sequence Charts [7], or Extended compositional Message Sequence charts [13…
  • Cited by 5 (0 self) – Add To MetaCart
  • Timing analysis of UML sequence diagrams  
  • by Xuandong Li, Johan Lilius, Turku Centre, Computer Science — 1999 — UML’99 - The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins
  • … is extended to MSC speci cations, which are compositions of message sequence charts. However, the problem…
  • Cited by 9 (0 self) – Add To MetaCart
  • Beyond Message Sequence Graphs  
  • by P. Madhusudan, B. Meenakshi — 2001 — In Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Computer Science
  • … compositional message sequence chart (CMSC) over P is a tuple ^ m = (E; f p g p2P ; ; ) where E, and p…
  • Cited by 13 (0 self) – Add To MetaCart
Help! Showing 1 through 9.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB