Causal Message Sequence Charts

Abstract

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

Topics

  • Presentations referencing similar topics