A comparison of Statecharts step semantics
The paper studies some variants of Statecharts step semantics in the framework of structural operational semantics. The chosen framework allows to study precongruence and congruence properties of behavioral preorders and equivalences and to compare, with respect to these properties, the different step semantics considered. (C) 2002 Elsevier Science B.V. All rights reserved.
statecharts structural operational semantics preorders and equivalences rule formats