Showing 1 - 5 results of 5 for search 'Ferruccio Damiani', query time: 0.02s
Refine Results
-
1
Type Inference for Bimorphic Recursion by Makoto Tatsuta, Ferruccio Damiani
Published 2011-06-01
Article -
2
Type-based Self-stabilisation for Computational Fields by Ferruccio Damiani, Mirko Viroli
Published 2015-12-01
Article -
3
-
4
Field-based Coordination with the Share Operator by Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
Published 2020-10-01
Article -
5
Hybrid Calculus of Wrapped Compartments by Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Eva Sciacca, Salvatore Spinella, Angelo Troina
Published 2010-10-01
Article