Causal Message Sequence Charts


Scenario languages based on Message Sequence Charts (MSCs) and related notations have been widely studied in the last decade [14, 13, 2, 9, 5, 12, 8]. The high expressive power of scenarios renders many basic problems concerning these languages undecidable. The most expressive class for which several problems are known to be decidable is one which possesses… (More)
DOI: 10.1007/978-3-540-74407-8_12

7 Figures and Tables


  • Presentations referencing similar topics