On State Classes and Their Dynamic Semantics.

Ferruccio Damiani, Elena Giachino, Paola Giannini, Emanuele Cazzola

Browse the full ICSoft paper archive.