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.
%0 Journal Article
%1 maggiolo-schettini_03_comparison
%A Schettini, Andrea M.
%A Peron, Adriano
%A Tini, Simone
%D 2003
%J Theoretical Computer Science
%K semantics statecharts 2003 sos
%N 1
%P 465--498
%R 10.1016/S0304-3975(01)00381-4
%T A comparison of Statecharts step semantics
%U http://dx.doi.org/10.1016/S0304-3975(01)00381-4
%V 290
%X 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.
@article{maggiolo-schettini_03_comparison,
abstract = {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.},
added-at = {2009-02-12T11:44:15.000+0100},
author = {Schettini, Andrea M. and Peron, Adriano and Tini, Simone},
biburl = {https://www.bibsonomy.org/bibtex/20d01a201c76d5df478739a3b75a86ee6/leonardo},
citeulike-article-id = {470806},
doi = {10.1016/S0304-3975(01)00381-4},
interhash = {4e5f5d0071027aed6e33ab296b64ecb0},
intrahash = {0d01a201c76d5df478739a3b75a86ee6},
journal = {Theoretical Computer Science},
keywords = {semantics statecharts 2003 sos},
month = {January},
number = 1,
pages = {465--498},
posted-at = {2006-01-19 14:44:41},
priority = {3},
timestamp = {2009-02-12T11:44:15.000+0100},
title = {A comparison of Statecharts step semantics},
url = {http://dx.doi.org/10.1016/S0304-3975(01)00381-4},
volume = 290,
year = 2003
}