On state classes and their dynamic semantics.

Ferruccio Damiani, Elena Giachino, Paola Giannini, Emanuele Cazzola

Browse the full ICSoft paper archive.