Progetti e attività di Cenciarelli, Pietro

Project `Vigoni 2000': Denotational semantics of concurrent, object-oriented languages.