This paper proposes a compositional operational semantics for a nontrivial subset of Statecharts and defines an equivalence relation between Statecharts using bisimulation on configurations. An input/response trace model is also investigated at the level of observable behaviour. © Springer-Verlag 2003.
CITATION STYLE
Long, Q., Qiu, Z., & Qin, S. (2003). The equivalence of statecharts. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2885, 125–143. https://doi.org/10.1007/978-3-540-39893-6_9
Mendeley helps you to discover research relevant for your work.