On State Classes and Their Dynamic Semantics. - Ferruccio Damiani; Elena Giachino; Paola Giannini; Emanuele Cazzola (ICSOFT (Selected Papers), 2006)