ACM Transactions on Software Engineering and Methodology (TOSEM): Volume 1 Issue 4, Oct. 1992
Citation Count: 10
Downloads (6 Weeks): 2, Downloads (12 Months): 6, Downloads (Overall): 580
Full text available:
The problem of extending the language of statecharts to include overlapping states is considered. The need for such an extension is motivated and the subtlety of the problem is illustrated by exhibiting the shortcomings of naive approaches. The syntax and formal semantics of our extension are then presented, showing in ...
higraphs, statecharts, reactive systems, visual language