DAMIANI, FERRUCCIO
DAMIANI, FERRUCCIO
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.006 secondi).
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation
2018 Mirko Viroli , Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini
A type-sound calculus of computational fields
2016 Damiani, Ferruccio; Viroli, Mirko; Beal, Jacob
Standard type soundness for agents and artifacts
2012 Ferruccio Damiani; Paola Giannini; Alessandro Ricci; Mirko Viroli
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation |
Mirko Viroli , Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini |
2018-01-01 | ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION | - | 1.01 Articolo in rivista | - |
A type-sound calculus of computational fields | Damiani, Ferruccio; Viroli, Mirko; Beal, Jacob | 2016-01-01 | SCIENCE OF COMPUTER PROGRAMMING | - | 1.01 Articolo in rivista | - |
Standard type soundness for agents and artifacts | Ferruccio Damiani; Paola Giannini; Alessandro Ricci; Mirko Viroli | 2012-01-01 | SCIENTIFIC ANNALS OF COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |